Logic in Computer ScienceMichael Huth
Logic in Computer Science
Michael Huth · 2004
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
Book details
- Year
- 2004
- Language
- English
- Publisher
- Cambridge University Press
- Editions
- 4
- Pages
- 443
- ISBN
- 9780511264016
Data source: Wikidata
More by Michael Huth
Trust and Trustworthy ComputingMichael Huth
Trust and Trustworthy Computing
Michael Huth · 2013
Trust and Trustworthy Computing Lecture Notes in Computer Science Security and CryptologyMichael Huth
Trust and Trustworthy Computing Lecture Notes in Computer Science Security and Cryptology
Michael Huth · 2013
Wiley-Schnellkurs ProzessmanagementMichael Huth
Wiley-Schnellkurs Prozessmanagement
Michael Huth · 2017
Resilienz in Supply ChainsMichael Huth
Resilienz in Supply Chains
Michael Huth · 2025
Wiley-Schnellkurs LogistikMichael Huth
Wiley-Schnellkurs Logistik
Michael Huth · 2015
Risikomanagement in der LogistikMichael Huth
Risikomanagement in der Logistik
Michael Huth · 2015
Risikomanagement der GefahrgutbeförderungMichael Huth
Risikomanagement der Gefahrgutbeförderung
Michael Huth · 2013
Benediktiner in SachsenMichael Huth
Benediktiner in Sachsen
Michael Huth · 2007