{"product_id":"mathematical-theory-of-computation-mcgrawhill-computer-science-series-9780070399105","title":"Mathematical Theory of Computation (McGraw-Hill Computer Science Series)","description":"\u003cp\u003eWith the objective of making into a science the art of verifying computer programs (debugging)  the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.\u003c\/p\u003e","brand":"My Store","offers":[{"title":"Default Title","offer_id":45656037982261,"sku":"ByrdShop_0070399107","price":246.48,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0627\/8139\/0901\/files\/9780070399105.jpg?v=1781949698","url":"https:\/\/atxbooks.com\/products\/mathematical-theory-of-computation-mcgrawhill-computer-science-series-9780070399105","provider":"ATX Books","version":"1.0","type":"link"}