Logic in Computer ScienceMichael Huth
Logic in Computer Science
Michael Huth · 2004
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
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.
פרטי הספר
- שנה
- 2004
- שפה
- English
- הוצאה
- Cambridge University Press
- מהדורות
- 4
- עמודים
- 443
- ISBN
- 9780511264016
מקור הנתונים: Wikidata
עוד של 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