{"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 van Michael Huth is een studieboek over formeel redeneren binnen de computerwetenschap. Het richt zich op methoden voor het modelleren, specificeren en verifiëren van systemen met een focus op formele technieken en model-checking.\u003c\/p\u003e\u003cp\u003eDeze tweede editie biedt een grondige introductie in formeel redeneren, aangepast aan de actuele behoeften van de informatica. De tekst is uitgebreid met nieuwe en uitgebreide hoofdstukken over SAT-solvers, tweede-orde logica, micro-models en programmaverificatie. De inhoud ondersteunt studenten en professionals met heldere uitleg en extra oefeningen, inclusief online oplossingen.\u003c\/p\u003e\u003ch3\u003eKenmerken\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eAuteur: Michael Huth (Imperial College London)\u003c\/li\u003e\n\u003cli\u003eUitgever: Cambridge University Press\u003c\/li\u003e\n\u003cli\u003eBindwijze: Trade paperback (US)\u003c\/li\u003e\n\u003cli\u003eVerschijningsdatum: 26 augustus 2004\u003c\/li\u003e\n\u003cli\u003eAantal pagina's: 440\u003c\/li\u003e\n\u003cli\u003eISBN: 9780521543101\u003c\/li\u003e\n\u003cli\u003eThema: Mathematical theory of computation\u003c\/li\u003e\n\u003cli\u003eBISAC: COMPUTERS \/ Machine Theory\u003c\/li\u003e\n\u003cp\u003e\u003c\/p\u003e\n\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\/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"}