Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .7940
Herausgegeben von Johnsen, Einar Broch
Petre, Luigia
- 出版社：Springer, Berlin
- 出版年月：2013年 00月
- ISBN：9783642386121
- 装丁：PAP
-
装丁について
- 版次：2013. XIV