{"product_id":"mathematical-theory-of-computation-9780486432380","title":"Mathematical Theory of Computation","description":"Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.\u003cbr\u003e","brand":"Dover Publications","offers":[{"title":"Default Title","offer_id":50523661074706,"sku":"9780486432380","price":17.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0831\/4771\/8930\/files\/img_6e4fea0a-c8a2-461c-b472-c628a00dd0f9.jpg?v=1731160033","url":"https:\/\/surprise-castle.myshopify.com\/products\/mathematical-theory-of-computation-9780486432380","provider":"Surprise Castle","version":"1.0","type":"link"}