Temporal Logic and State Systems
Edición de la obra Temporal logic and state systems
| Autor | Fred Kröger, Stephan Merz |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540686354 |
| Número de Cutter | K93t |
Edición de la obra Temporal logic and state systems
| Autor | Fred Kröger, Stephan Merz |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540686354 |
| Número de Cutter | K93t |