Principles of Model Checking
Edición de la obra Principles of model checking
| Autor | Christel Baier, Joost-Pieter Katoen |
|---|---|
| Editorial | The MIT Press |
| Fecha de publicación | May 31, 2008 |
| Idioma | inglés |
| Páginas | 936 |
| Formato | Hardcover |
| ISBN-13 | 9780262026499 |
| ISBN-10 | 026202649X |
| OCLC | 171152628 |
| LCCN | 2007037603 |
| Número de Cutter |