-
-
Duration Calculus
A Formal Approach to Real-Time Systems
Monographs in Theoretical Computer Science. An EATCS Series
-
出版社:Springer
出版年月:2010年 12月
装丁:PAP 言語:ENG -
税込価格:海外在庫あり 通常2~5週間で出荷
24,124円
-
-
Duration Calculus
A Formal Approach to Real-time Systems
Monographs in Theoretical Computer Science
-
出版社:Springer, Berlin
出版年月:2003年 00月
装丁:HRD 版次:2003. 255 p. -
税込価格:海外在庫あり 通常2~5週間で出荷
24,124円