{"product_id":"principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","title":"Principles of Model Checking","description":"\u003cp\u003ePrinciples of Model Checking van Christel Baier, verbonden aan Technische Universität Dresden, is een uitgebreid studieboek over model checking in de informatica. Dit naslagwerk biedt diepgaande theoretische kennis en praktische inzichten, geschikt voor studenten en professionals die zich willen verdiepen in formele verificatietechnieken.\u003c\/p\u003e\u003ch3\u003eProductspecificaties\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAuteur:\u003c\/strong\u003e Christel Baier (Technische Universität Dresden)\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eSerie:\u003c\/strong\u003e Principles of Model Checking\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eUitgever:\u003c\/strong\u003e MIT Press Ltd\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eImprint:\u003c\/strong\u003e MIT Press\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eVerschijningsdatum:\u003c\/strong\u003e 2008-04-25\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eAantal pagina's:\u003c\/strong\u003e 984\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780262026499\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eThema:\u003c\/strong\u003e Computer science\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eBISAC:\u003c\/strong\u003e COMPUTERS \/ Computer Science\u003c\/li\u003e\n\u003cp\u003e\u003c\/p\u003e\n\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\/products\/principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","provider":"Intertaal","version":"1.0","type":"link"}