Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8803
Herausgegeben von Margaria, Tiziana
Steffen, Bernhard
- 出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
- 出版年月：2014年 10月
- ISBN：9783662452301
- 装丁：PAP
-
装丁について
- 版次：2014. 2014. xviii