Leveraging Applications of Formal Methods, Verification, and Validation
Communications in Computer and Information Science .336
Herausgegeben von Haehnle, Reiner
Knoop, Jens
Margaria, Tiziana
- 出版社：Springer, Berlin; Springer
- 出版年月：2012年 00月
- ISBN：9783642347801
- 装丁：PAP
-
装丁について
- 版次：2012. 2012. 272 S. 235 mm