Opening book details…
About this nonfiction
The MIT Press Principles of Model Checking by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
- Publisher
- The MIT Press
- Published
- 2007
- Language
- EN
- ISBN
- 9780262267564
- Category
- nonfiction
- Subjects
- Computer Science, Language Learning, Programming
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
- Model Checking — Edmund M. Clarke, Jr.
- Great Principles of Computing (The MIT Press) — Peter J. Denning, Craig H. Martell, Vint Cerf (2015)
- Principles of Neural Design (MIT Press) — Simon Laughlin Peter Sterling (2015)
- Model Checking Quantum Systems (Principles and Algorithms) — Mingsheng Ying; Yuan Feng (2021)
- Handbook of Model Checking — Edmund M. Clarke , Thomas A. Henzinger , Helmut Veith , Roderick Bloem (2018)
- Model Checking (2021)