{"product_id":"logic-in-computer-science-modelling-and-reasoning-about-systems-michael-huth-imperial-college-of-science-technology-and-medicine-london-9780521543101","title":"Logic in Computer Science: Modelling and Reasoning about Systems","description":"\u003cp\u003e\u003cstrong\u003eModelling and Reasoning about Systems\u003c\/strong\u003e Michael Huth is a textbook on formal reasoning in computer science. It focuses on methods for modeling, specifying, and verifying systems with an emphasis on formal techniques and model checking.\u003c\/p\u003e\u003cp\u003eThis second edition provides a thorough introduction to formal reasoning, tailored to the current needs of computer science. The text has been expanded with new and extensive chapters on SAT solvers, second-order logic, micro-models, and program verification. The content supports students and professionals with clear explanations and additional exercises, including online solutions.\u003c\/p\u003e\u003ch3\u003eFeatures\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003eAuthor: Michael Huth (Imperial College London)\u003c\/li\u003e\u003cli\u003ePublisher: Cambridge University Press\u003c\/li\u003e\u003cli\u003eFormat: Trade paperback (US)\u003c\/li\u003e\u003cli\u003ePublication date: August 26, 2004\u003c\/li\u003e\u003cli\u003eNumber of pages: 440\u003c\/li\u003e\u003cli\u003eISBN: 9780521543101\u003c\/li\u003e\u003cli\u003eTheme: Mathematical theory of computation\u003c\/li\u003e\u003cli\u003eBISAC: COMPUTERS \/ Machine Theory\u003c\/li\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/ul\u003e","brand":"Intertaal","offers":[{"title":"Default Title","offer_id":56354508177748,"sku":"9780521543101","price":64.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0967\/0538\/0692\/files\/logic-computer-science-modelling-and-reasoning-about-systems-boek-442.webp?v=1783595790","url":"https:\/\/intertaalid.nl\/en\/products\/logic-in-computer-science-modelling-and-reasoning-about-systems-michael-huth-imperial-college-of-science-technology-and-medicine-london-9780521543101","provider":"Intertaal","version":"1.0","type":"link"}