{"product_id":"logic-in-computer-science-9780521543101","title":"Logic in Computer Science","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eLogic in Computer Science\u003c\/strong\u003e by \u003cstrong\u003eMichael Huth\u003c\/strong\u003e, a comprehensive guide that bridges the gap between formal reasoning and practical applications in modern computer science. This second edition, published in 2004, spans \u003cstrong\u003e440 pages\u003c\/strong\u003e and includes significant enhancements, featuring expanded sections and a wealth of exercises designed to deepen your understanding. With an updated focus on model-checking, this book is invaluable for students and professionals alike who seek a rigorous yet accessible introduction to the mathematical theory of computation and logic programming. Whether you are delving into computer architecture, systems analysis, or software development, Huth's work remains a critical resource in the field of computer science. Enhance your knowledge and skills with this authoritative text that meets the evolving demands of technology.\u003c\/p\u003e","brand":"Michael Huth","offers":[{"title":"Default Title","offer_id":51030141960534,"sku":"9780521543101","price":66.68,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521543101.jpg?v=1754799623","url":"https:\/\/www.laufgard.com\/products\/logic-in-computer-science-9780521543101","provider":"Bookshop","version":"1.0","type":"link"}