{"product_id":"principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","title":"Principles of Model Checking","description":"\u003cp\u003ePrinciples of Model Checking de Christel Baier, rattachée à la Technische Universität Dresden, est un ouvrage d’étude complet sur la model checking en informatique. Cette référence offre des connaissances théoriques approfondies et des perspectives pratiques, adaptées aux étudiants comme aux professionnels qui souhaitent se familiariser avec des techniques formelles de vérification.\u003c\/p\u003e\u003ch3\u003eSpécifications du produit\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003e\u003cstrong\u003eAuteur :\u003c\/strong\u003e Christel Baier (Technische Universität Dresden)\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eSérie :\u003c\/strong\u003e Principles of Model Checking\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eÉditeur :\u003c\/strong\u003e MIT Press Ltd\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eMention d’impression :\u003c\/strong\u003e MIT Press\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eDate de publication :\u003c\/strong\u003e 2008-04-25\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eNombre de pages :\u003c\/strong\u003e 984\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eISBN :\u003c\/strong\u003e 9780262026499\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eThème :\u003c\/strong\u003e Informatique\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eBISAC :\u003c\/strong\u003e COMPUTERS \/ Computer Science\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\/fr\/products\/principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","provider":"Intertaal","version":"1.0","type":"link"}