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 R798.75. Read the FAQ
R 3,195
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
Dynamics Of World History
Grandma Gatewood's Walk: The Inspiring Story of the Woman Who Saved the Appalachian Trail
Untitled Empyrean (Not Book Four)
The Dinner Party: A Pick Your Poison Adventure
The Case for America: An Argument on Behalf of Our Nation – A Thoughtful Defense of Our History, Values, and National Character in Divisive Times
The Jesus Discoveries: 10 Historic Finds That Bring Us Face-to-Face with Jesus
Theo of Golden: A Novel
The Correspondent: A Novel