Software Engineering and Formal Methods
11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .8137
Herausgegeben von Hierons, Robert
Merayo, Mercedes G.
Bravetti, Mario
- 出版社：Springer, Berlin
- 出版年月：2013年 09月
- ISBN：9783642405600
- 装丁：PAP
-
装丁について
- 版次：2013. xviii