Leveraging Applications of Formal Methods, Verification and Validation
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609
Herausgegeben von Margaria, Tiziana
Steffen, Bernhard
Merten, Maik
- 出版社：Springer, Berlin; Springer
- 出版年月：2012年 00月
- ISBN：9783642340253
- 装丁：PAP
-
装丁について
- 版次：2012. 2012. XIII