{"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\u003eModellierung und Begründung über Systeme\u003c\/strong\u003e Michael Huth ist ein Lehrbuch über formales Schließen in der Informatik. Es konzentriert sich auf Methoden zum Modellieren, Spezifizieren und Verifizieren von Systemen mit einem Schwerpunkt auf formalen Techniken und Model-Checking.\u003c\/p\u003e\u003cp\u003eDiese zweite Auflage bietet eine gründliche Einführung in das formale Schließen, angepasst an die aktuellen Bedürfnisse der Informatik. Der Text wurde um neue und ausführliche Kapitel zu SAT-Solvern, Logik zweiter Stufe, Mikro-Modellen und Programmverifikation erweitert. Der Inhalt unterstützt Studierende und Fachleute mit klaren Erklärungen und zusätzlichen Übungen, einschließlich Online-Lösungen.\u003c\/p\u003e\u003ch3\u003eMerkmale\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003eAutor: Michael Huth (Imperial College London)\u003c\/li\u003e\u003cli\u003eVerlag: Cambridge University Press\u003c\/li\u003e\u003cli\u003eEinbandart: Broschur (US)\u003c\/li\u003e\u003cli\u003eErscheinungsdatum: 26. August 2004\u003c\/li\u003e\u003cli\u003eAnzahl Seiten: 440\u003c\/li\u003e\u003cli\u003eISBN: 9780521543101\u003c\/li\u003e\u003cli\u003eThema: Mathematische Theorie der Berechnung\u003c\/li\u003e\u003cli\u003eBISAC: COMPUTERS \/ Maschinentheorie\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\/de\/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"}