{"product_id":"principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","title":"Principles of Model Checking","description":"\u003cp\u003eChristel Baierin mallintarkistuksen periaatteet, joka on sidoksissa Dresdenin teknilliseen yliopistoon, on kattava oppikirja mallintarkistuksesta tietojenkäsittelytieteessä. Tämä käsikirja tarjoaa syvällistä teoreettista tietoa ja käytännön näkemyksiä, sopien opiskelijoille ja ammattilaisille, jotka haluavat perehtyä muodollisiin verifiointitekniikoihin.\u003c\/p\u003e\u003ch3\u003eTuotetiedot\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003e\u003cstrong\u003eTekijä:\u003c\/strong\u003e Christel Baier (Dresdenin teknillinen yliopisto)\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eSarja:\u003c\/strong\u003e Principles of Model Checking\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eKustantaja:\u003c\/strong\u003e MIT Press Ltd\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eJulkaisija:\u003c\/strong\u003e MIT Press\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eJulkaisupäivä:\u003c\/strong\u003e 2008-04-25\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eSivumäärä:\u003c\/strong\u003e 984\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780262026499\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eAihe:\u003c\/strong\u003e Tietojenkäsittelytiede\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\/fi\/products\/principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","provider":"Intertaal","version":"1.0","type":"link"}