von: Chaochen Zhou · Michael R. HansenGebunden Details (Deutschland) Details (USA) Details (Großbritannien) ISBN: 978-3-540-40823-9 ISBN-10: 3-540-40823-1 Springer · 2003 |
Siehe auch: | ||
2010 | Taschenbuch | Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series) |