Duration Calculus
A Formal Approach to Real-time Systems
Monographs in Theoretical Computer Science
Chaochen, Zhou
Hansen, M. R.
- 出版社：Springer, Berlin
- 出版年月：2003年 00月
- ISBN：9783540408239
- 装丁：HRD
-
装丁について
- 版次：2003. 255 p.
- 巻数・ページ数：255 p.
- 分類： ソフトウェア工学