Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Lecture Notes in Computer Science .9681
Herausgegeben von Á
brahá
m, Erika
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2016年 05月
- ISBN：9783319336923
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2016. 2016. xiii