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