Order Total (1 Item Items):
Shipping Destination:
Dimacs Workshop Computer Aided Verification Clarke (1 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (1)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (No further results match this refinement)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (1)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (No further results match this refinement)
- Not Print on Demand (1)
Language (1)
Price
- Any Price
- Under £ 20
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35 (No further results match this refinement)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 (Dimacs Series in Discrete Mathematics and Theoretical Computer S)
Published by Amer Mathematical Society, 1991
ISBN 10: 0821865943 ISBN 13: 9780821865941
Language: English
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 628 pp., hardcover, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
