25 Years of Model Checking
History, Achievements, Perspectives
Edición de la obra 25 Years of Model Checking
| Autor | Orna Grumberg, Helmut Veith |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540698500 |
| Número de Cutter | G887y |