Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)

Monographs

von: Chaochen Zhou · Michael R. Hansen

Gebunden

ISBN: 978-3-540-40823-9

ISBN-10: 3-540-40823-1

Springer · 2003

Siehe auch:
2010TaschenbuchDuration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)