Duration Calculus
A Formal Approach to Real-Time Systems
Monographs in Theoretical Computer Science. An EATCS Series
Zhou, Chaochen
Hansen, Michael R.
- 出版社：Springer
- 出版年月：2010年 12月
- ISBN：9783642074042
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：258 p.
- DDC分類：005