Logic in Computer Science
Modelling and Reasoning about Systems
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing 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 to the first edition have been made…
Mehr
CHF 72.85
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-0-511-26158-9
- EAN: 9780511261589
- Produktnummer: 13818217
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 0 S.
- Plattform: PDF
- Masse: 2'470 KB
27 weitere Werke von Michael Huth:
Mathematical Foundations of Advanced Informatics
Modelling and Reasoning about Systems
Modelling and Reasoning about Systems
Ebook (PDF Format)
CHF 39.00
Tools and Algorithms for the Construction and Analysis of Systems
Modelling and Reasoning about Systems
Modelling and Reasoning about Systems
Ebook (PDF Format)
CHF 173.50
Wiley-Schnellkurs Prozessmanagement
Modelling and Reasoning about Systems
Modelling and Reasoning about Systems
Ebook (EPUB Format)
CHF 18.00
Partizipation und nachhaltige Entwicklung
Modelling and Reasoning about Systems
Modelling and Reasoning about Systems
Ebook (PDF Format)
CHF 22.00
Risikomanagement der Gefahrgutbeförderung
Modelling and Reasoning about Systems
Modelling and Reasoning about Systems
Ebook (PDF Format)
CHF 80.02
Bewertungen
Anmelden