Model Checking Abstract State Machines
Edición de la obra Model Checking Abstract State Machines
| Autor | Kirsten Winter |
|---|---|
| Editorial | Simon & Schuster |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783639018912 |
| Número de Cutter | W785m |
Edición de la obra Model Checking Abstract State Machines
| Autor | Kirsten Winter |
|---|---|
| Editorial | Simon & Schuster |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783639018912 |
| Número de Cutter | W785m |