Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .8739
Herausgegeben von Albert, Elvira
Sekerinski, Emil
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2014年 09月
- ISBN：9783319101804
- 装丁：PAP
-
装丁について
- 版次：2014. 2014. xii