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

Monographs

von Zhou Chaochen

Taschenbuch

ISBN-13: 978-3-642-07404-2

ISBN-10: 3-642-07404-9

Springer Berlin Heidelberg · 2010
S. auch (eventuell von anderen Autoren):
2003Gebundene AusgabeDuration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)