Books > Computers & Technology > Computer Science > AI & Machine Learning > Intelligence & Semantics
The Calculus of Computation: Decision Procedures with Applications to Verification
Product ID: 3540741127
Condition: USED (All books in used condition)
Payflex: Pay in 4 interest-free payments of R809.25. Read the FAQ
R 3,237
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
payflex
ozow
Product Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
The Calculus of Computation: Decision Procedures with Applications to Verification
- Used Book in Good Condition
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Hardcover
ItemPartNumber
60 black & white illustrations, 3 black
ReleaseDate
2007-09-03T00:00:01Z
UnitCount
1
EANs
9783540741121
You might also like
The Carolina Housewife (First Cookbooks of America)
The Crowd in the Early Middle Ages (Histories of Economic Life)
Monster
The Chicago Chef's Table: Extraordinary Recipes from the Windy City
The Hank Show: How a House-Painting, Drug-Running DEA Informant Built the Machine That Rules Our Lives
The 614th Tank Destroyer Battalion: Fighting on Both Fronts
Jury Nullification: The Evolution of a Doctrine
Do No Harm: How Aid Can Support Peace--Or War