Compositional Verification of Concurrent and Real-Time Systems
The Springer International Series in Engineering and Computer Science
Juan, Eric Y. T.
Tsai, Jeffrey J. P.
- 出版社：Springer-Verlag New York Inc
- 出版年月：2012年 10月
- ISBN：9781461353492
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：Reprint
- 巻数・ページ数：216 p.
- DDC分類：005