New Directions in Symbolic Model Checking
Edición de la obra New Directions in Symbolic Model Checking
| Autor | Julien D'Orso |
|---|---|
| Editorial | Uppsala Universitet |
| Fecha de publicación | December 2003 |
| Idioma | inglés |
| Páginas | 130 |
| Formato | Paperback |
| ISBN-13 | 9789155457815 |
| ISBN-10 | 9155457819 |
| OCLC | 54366581 |
| Serie | Uppsala Dissertations from the Faculty of Science & Technology, 50 |
| Número de Cutter | N532 |