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月
装丁：PAP 言語：ENG

税込価格：

24,124円

海外在庫あり 通常２～５週間で出荷

Duration Calculus

A Formal Approach to Real-time Systems

Monographs in Theoretical Computer Science

Chaochen, Zhou Hansen, M. R.

出版社：Springer, Berlin 出版年月：2003年 00月
装丁：HRD 版次：2003. 255 p.

税込価格：

24,124円

海外在庫あり 通常２～５週間で出荷