Order Total (1 Item Items):
Shipping Destination:
Calculus Computation Decision Procedures Applications by Bradley Aaron Zohar Manna (21 results)
Feedback
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 (12)
- As New, Fine or Near Fine (7)
- Very Good or Good (2)
- 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, Berlin, 2007
Language: English
Seller: Antiquariat Renner OHG, Albstadt, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
US$ 33.58
Convert currencyUS$ 23.29 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Wie neu. Bln., Springer (2007). gr.8°. XV, 366 p. Harbound. With exercises.
-
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, 2010
ISBN 10: 3642093477 ISBN 13: 9783642093470
Language: English
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
US$ 52.43
Convert currencyUS$ 10.76 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
US$ 60.88
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: 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$ 70.39
Convert currencyUS$ 16.11 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.21
Convert currencyUS$ 20.83 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Calculus of Computation : Decision Procedures With Applications to Verification
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.66
Convert currencyUS$ 20.17 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 87.20
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 85.86
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: 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$ 92.01
Convert currencyUS$ 16.11 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$ 91.99
Convert currencyUS$ 20.17 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Calculus of Computation : Decision Procedures With Applications to Verification
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 123.28
Convert currencyUS$ 20.17 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 112.21
Convert currencyUS$ 33.62 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
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
US$ 134.23
Convert currencyUS$ 13.45 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 1st edition. 366 pages. 9.25x8.25x0.75 inches. In Stock.
-
US$ 143.20
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: 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$ 178.69
Convert currencyUS$ 20.17 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 167.62
Convert currencyUS$ 33.62 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
US$ 198.62
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
