Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Edición de la obra Temporal logic and state systems
| Autor | Fred Kröger, Stephan Merz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 2008 |
| Idioma | inglés |
| Páginas | 400 |
| Formato | Hardcover |
| ISBN-13 | 9783540674016 |
| ISBN-10 | 3540674012 |
| LCCN | 2008921857 |
| Número de Cutter | K93t |