Temporal Logic and State Systems
Edición de la obra Temporal logic and state systems
| Autor | Fred Kröger, Stephan Merz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Nov 25, 2010 |
| Páginas | 448 |
| Formato | paperback |
| ISBN-13 | 9783642086809 |
| ISBN-10 | 3642086802 |
| Número de Cutter | K93t |