{"product_id":"principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","title":"Principles of Model Checking","description":"\u003cp\u003ePrinciples of Model Checking by Christel Baier, associated with Technische Universität Dresden, is a comprehensive textbook on model checking in computer science. This reference work offers in-depth theoretical knowledge and practical insights, suitable for students and professionals who want to delve into formal verification techniques.\u003c\/p\u003e\u003ch3\u003eProduct specifications\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Christel Baier (Technische Universität Dresden)\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eSeries:\u003c\/strong\u003e Principles of Model Checking\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003ePublisher:\u003c\/strong\u003e MIT Press Ltd\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eImprint:\u003c\/strong\u003e MIT Press\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003ePublication date:\u003c\/strong\u003e 2008-04-25\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eNumber of pages:\u003c\/strong\u003e 984\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780262026499\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eTopic:\u003c\/strong\u003e Computer science\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\/en\/products\/principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","provider":"Intertaal","version":"1.0","type":"link"}