Opening book details…
Can I read Principles of Model Checking (Instructor Solution Manual, Solutions) on EtoBox?
Principles of Model Checking (Instructor Solution Manual, Solutions) by Christel Baier; Joost-Pieter Katoen; Kim Guldstrand Larsen is a computer science book available to read on EtoBox.
What is Principles of Model Checking (Instructor Solution Manual, Solutions) about?
<b>A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.</b><p>Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which
Who reads Principles of Model Checking (Instructor Solution Manual, Solutions)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Christel Baier; Joost-Pieter Katoen; Kim Guldstrand Larsen
- Publisher
- The MIT Press
- Published
- 2008
- Language
- EN
- ISBN
- 9780262267564
- Category
- computer science
- Subjects
- Computer Science, Language Learning, Programming
- Updated
- 2026-03-24
Other editions & translations
More by Christel Baier; Joost-Pieter Katoen; Kim Guldstrand Larsen
Browse all works by Christel Baier; Joost-Pieter Katoen; Kim Guldstrand Larsen
Similar books
- Principles of Model Checking (The MIT Press) — Christel Baier; Joost-Pieter Katoen; Kim Guldstrand Larsen (2008)
- Handbook of Model Checking — Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (2018)
- Model Checking Quantum Systems (Principles and Algorithms) — Jianxin Wu; Mingsheng Ying (2021)
- Understanding Statistics Using R (Instructor Solution Manual, Solutions) — Randall E Schumacker; Sara Tomek (2013)
- Foundations of Nuclear and Particle Physics (Instructor Solution Manual, Solutions) — T. William Donnelly, Joseph A. Formaggio, Barry R. Holstein, Richard G. Milner, Bernd Surrow (2017)
- Electronic Principles, Ninth Edition (Solutions, Instructor Solution Manual) — Albert Malvino, David Bates, Patrick Hoppe (2020)
