Order Total (1 Item Items):
Shipping Destination:
Calculus Computation Decision Procedures Applications by Bradley Aaron Zohar Manna (21 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (21)
- 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 (11)
- As New, Fine or Near Fine (7)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
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 (8)
- Not Print on Demand (21)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
The Calculus of Computation: Decision Procedures with Applications to Verification
Published by Springer (edition Softcover reprint of hardcover 1st ed. 2007), 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
Language: English
Paperback. Condition: New. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped. Softcover reprint of hardcover 1st ed. 2007.
-
The Calculus of Computation : Decision Procedures with Applications to Verification
Published by Springer Berlin / Heidelberg, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
Language: English
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
-
-
The Calculus of Computation : Decision Procedures with Applications to Verification
Published by Springer Berlin / Heidelberg, 2007
ISBN 10: 3540741127 ISBN 13: 9783540741121
Language: English
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
The Calculus of Computation: Decision Procedures with Applications to Verification
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 66.28
US$ 15.69 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: New.
-
The Calculus of Computation. Decision Procedures with Applications to Verification.
Published by Springer, Berlin, 2007
Language: English
Seller: Antiquariat Renner OHG, Albstadt, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
Hardcover. Condition: Wie neu. Bln., Springer (2007). gr.8°. XV, 366 p. Harbound. With exercises.
-
Calculus of Computation : Decision Procedures With Applications to Verification
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 66.26
US$ 19.65 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
-
-
The Calculus of Computation: Decision Procedures with Applications to Verification
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 86.51
US$ 15.69 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Calculus of Computation : Decision Procedures With Applications to Verification
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 86.50
US$ 19.65 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Calculus of Computation: Decision Procedures With Applications to Verification
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540741127 ISBN 13: 9783540741121
Language: English
Hardcover. Condition: Brand New. 1st edition. 366 pages. 9.25x8.25x0.75 inches. In Stock.
-
Calculus of Computation : Decision Procedures With Applications to Verification
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 132.20
US$ 19.65 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
-
Calculus of Computation : Decision Procedures With Applications to Verification
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 174.02
US$ 19.65 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Hardcover. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
