{"product_id":"principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","title":"Principles of Model Checking","description":"\u003cp\u003eGrundlagen des Model Checking von Christel Baier, verbunden mit der Technischen Universität Dresden, ist ein umfassendes Lehrbuch über Model Checking in der Informatik. Dieses Nachschlagewerk bietet fundiertes theoretisches Wissen und praktische Einblicke, geeignet für Studierende und Fachleute, die sich in formale Verifikationstechniken vertiefen möchten.\u003c\/p\u003e\u003ch3\u003eProduktspezifikationen\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003e\u003cstrong\u003eAutor:\u003c\/strong\u003e Christel Baier (Technische Universität Dresden)\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eReihe:\u003c\/strong\u003e Grundlagen des Model Checking\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eVerlag:\u003c\/strong\u003e MIT Press Ltd\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eImpressum:\u003c\/strong\u003e MIT Press\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eErscheinungsdatum:\u003c\/strong\u003e 2008-04-25\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eAnzahl der Seiten:\u003c\/strong\u003e 984\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780262026499\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eThema:\u003c\/strong\u003e Informatik\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eBISAC:\u003c\/strong\u003e COMPUTERWISSENSCHAFT \/ Informatik\u003c\/li\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/ul\u003e","brand":"Intertaal","offers":[{"title":"Default Title","offer_id":56354514927956,"sku":"9780262026499","price":72.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0967\/0538\/0692\/files\/principles-model-checking-boek-899.webp?v=1783597940","url":"https:\/\/intertaalid.nl\/de\/products\/principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","provider":"Intertaal","version":"1.0","type":"link"}