Sold Out
This product is currently not available.

Computer Aided Verification Proceedings of the 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 (Paperback)

Earn Rakuten Super Points™: Write a Review
Sold Out!
Sorry, this selection is currently unavailable.
Computer Aided Verification Brinksma, E. (EDT)/ Larsen, Kim G. (EDT) 1 of 1

Learn more about Computer Aided Verification:

Format: Paperback
ISBN-10: 3540439978
ISBN-13: 9783540439974
Sku: 206884632
Publish Date: 2/4/2008
Dimensions:  (in Inches) 9H x 6L x 1.25T
Pages:  639
Age Range:  NA
Advertisement Bottom