{"product_id":"logic-in-computer-science-modelling-and-reasoning-about-systems-michael-huth-imperial-college-of-science-technology-and-medicine-london-9780521543101","title":"Logic in Computer Science: Modelling and Reasoning about Systems","description":"\u003cp\u003e\u003cstrong\u003eModelado y razonamiento sobre sistemas\u003c\/strong\u003e van Michael Huth es un libro de estudio sobre el razonamiento formal en ciencias de la computación. Se centra en métodos para modelar, especificar y verificar sistemas con un enfoque en técnicas formales y model checking.\u003c\/p\u003e\u003cp\u003eEsta segunda edición ofrece una introducción profunda al razonamiento formal, adaptada a las necesidades actuales de la informática. El texto se ha ampliado con nuevos capítulos extensos sobre solucionadores SAT, lógica de segundo orden, micro-modelos y verificación de programas. El contenido apoya a estudiantes y profesionales con explicaciones claras y ejercicios adicionales, incluidas soluciones en línea.\u003c\/p\u003e\u003ch3\u003eCaracterísticas\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003eAutor: Michael Huth (Imperial College London)\u003c\/li\u003e\u003cli\u003eEditorial: Cambridge University Press\u003c\/li\u003e\u003cli\u003eFormato: Tapa blanda comercial (EE. UU.)\u003c\/li\u003e\u003cli\u003eFecha de publicación: 26 de agosto de 2004\u003c\/li\u003e\u003cli\u003eNúmero de páginas: 440\u003c\/li\u003e\u003cli\u003eISBN: 9780521543101\u003c\/li\u003e\u003cli\u003eTema: Teoría matemática de la computación\u003c\/li\u003e\u003cli\u003eBISAC: COMPUTERS \/ Machine Theory\u003c\/li\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/ul\u003e","brand":"Intertaal","offers":[{"title":"Default Title","offer_id":56354508177748,"sku":"9780521543101","price":64.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0967\/0538\/0692\/files\/logic-computer-science-modelling-and-reasoning-about-systems-boek-442.webp?v=1783595790","url":"https:\/\/intertaalid.nl\/es\/products\/logic-in-computer-science-modelling-and-reasoning-about-systems-michael-huth-imperial-college-of-science-technology-and-medicine-london-9780521543101","provider":"Intertaal","version":"1.0","type":"link"}