Tools for Practical Software Verification
International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Lecture Notes in Computer Science / Programming and Software Engineering .7682
Herausgegeben von Meyer, Bertrand
Nordio, Martin
- 出版社：Springer, Berlin
- 出版年月：2012年 00月
- ISBN：9783642357459
- 装丁：PAP
-
装丁について
- 版次：2012. viii