Books
ISBN: 9780387551791
Edition
ISBN:
0387551794 /
ISBN-13:
9780387551791
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Paperback,
Good
Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings (Lecture Notes in Computer Science)
by Kim G. Larsen~A. Skou
1992, Springer
ISBN-13:
9780387551791
See Item Details ▾
Bookmans
BEST
Tucson,
AZ,
USA
$49.51
$93.00
Add to Basket
Add this copy of Computer Aided Verification: 3rd International Workshop to cart. $49.51, good condition, Sold by Bookmans rated 5.0 out of 5 stars, ships from Tucson, AZ, UNITED STATES, published 1992 by Springer.
Edition: 1992, Springer
Paperback,
Good
Details: ISBN:
0387551794
ISBN-13:
9780387551791
Publisher:
Springer
Published:
1992
Language:
English
Alibris ID:
17487176932
Shipping Options: Standard Shipping: $4.49
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Satisfaction 100% guaranteed.
Hide Details ▴
Paperback,
Good
Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings (Lecture Notes in Computer Science)
by Kim G. Larsen
1992, Springer Verlag
ISBN-13:
9780387551791
See Item Details ▾
Bonita
HIGH
Newport Coast,
CA,
USA
$107.28
Add to Basket
Add this copy of Computer Aided Verification: 3rd International Workshop to cart. $107.28, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1992 by Springer Verlag.
Edition: 1992, Springer Verlag
Paperback,
Good
Details: ISBN:
0387551794
ISBN-13:
9780387551791
Publisher:
Springer Verlag
Published:
1992
Language:
English
Alibris ID:
18174811308
Shipping Options: Standard Shipping: $4.49
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
