Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .7321
Herausgegeben von Derrick, John
Gnesi, Stefania
Latella, Diego
- 出版社：Springer, Berlin
- 出版年月：2012年 00月
- ISBN：9783642307287
- 装丁：PAP
-
装丁について
- 版次：2012. 2012. XII