{"product_id":"principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","title":"Principles of Model Checking","description":"\u003cp\u003ePrincipios de la verificación de modelos de Christel Baier, afiliada a la Technische Universität Dresden, es un completo libro de estudio sobre la verificación de modelos en informática. Esta obra de referencia ofrece conocimientos teóricos profundos y perspectivas prácticas, adecuada para estudiantes y profesionales que desean profundizar en técnicas de verificación formales.\u003c\/p\u003e\u003ch3\u003eEspecificaciones del producto\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\u003eSerie:\u003c\/strong\u003e Principles of Model Checking\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eEditor:\u003c\/strong\u003e MIT Press Ltd\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eImpresión:\u003c\/strong\u003e MIT Press\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eFecha de publicación:\u003c\/strong\u003e 2008-04-25\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eNúmero de páginas:\u003c\/strong\u003e 984\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780262026499\u003c\/li\u003e\u003cli\u003e\u003cstrong\u003eTema:\u003c\/strong\u003e Ciencias de la computación\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\/es\/products\/principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499","provider":"Intertaal","version":"1.0","type":"link"}