Reactive Systems
Modelling, Specification and Verification
Aceto, Luca
Ingólfsdóttir, Anna
Larsen, Kim Guldstrand
- 出版社：Cambridge University Press
- 出版年月：2007年 08月
- ISBN：9780521875462
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：302 p.
- 分類： システム工学
- DDC分類：006.330151