Principles of model checking / Christel Baier, Joost-Pieter Katoen.
"Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. :
The MIT Press,
[2008?]
|
| Subjects: |
Closed Stacks - Engineering Math & Physics Library - Stacks
| Call Number: |
QA76.76.V47 B35 2008
|
|---|---|
| QA76.76.V47 B35 2008 | Available Place a Hold |