Description:
Price: 43.31 USD
Location: Somerset, New Jersey
End Time: 2025-01-22T22:46:14.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: The Calculus of Computation: Decision Procedures with Applicatio
Number of Pages: Xvi, 366 Pages
Language: English
Publication Name: Calculus of Computation : Decision Procedures with Applications to Verification
Publisher: Springer Berlin / Heidelberg
Publication Year: 2010
Subject: Systems Architecture / General, Intelligence (Ai) & Semantics, Hardware / General, General
Type: Textbook
Item Weight: 20.7 Oz
Author: Aaron R. Bradley, Zohar Manna
Subject Area: Computers
Item Length: 9.3 in
Item Width: 6.1 in
Format: Trade Paperback
