{"product_id":"the-calculus-of-computation-decision-procedures-with-applications-to-verification","title":"The Calculus of Computation: Decision Procedures with Applications to Verification","description":"\u003cp\u003e\u003cstrong\u003eNew copy of The Calculus of Computation: Decision Procedures with Applications to Verification by Aaron R. R. Bradley, Zohar Manna.\u003c\/strong\u003e - Paperback, Published by Springer, 382 pages.\u003c\/p\u003e\u003cp\u003eHassle-free 30-day returns. Free shipping on orders over $35.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":46287933374698,"sku":"DS-CA-3642093477","price":93.99,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0647\/1735\/7290\/files\/4181ANbxpTL.jpg?v=1789439653","url":"https:\/\/justgreatbooks.org\/products\/the-calculus-of-computation-decision-procedures-with-applications-to-verification","provider":"Just Great Books","version":"1.0","type":"link"}