Duration Calculus
A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Edición de la obra Duration calculus
| Autor | Chaochen Zhou, Michael R. Hansen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | February 12, 2004 |
| Idioma | inglés |
| Páginas | 247 |
| Formato | Hardcover |
| ISBN-13 | 9783540408239 |
| ISBN-10 | 3540408231 |
| OCLC | 53178309 |
| LCCN | 2003066406 |