Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.
| Publisher | MIT Press |
|---|---|
| Pages | 984 |
| Search language | english |
| ISBN_13 | 978-0-262-26756-4 primary |
Publication-specific alternatives linked to the same work.
Principles of Model Checking
Principles of Model Checking
Principles of Model Checking
Principles of Model Checking