Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Lecture Notes in Computer Science .10510
Herausgegeben von Polikarpova, Nadia
Schneider, Steve
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2017年 00月
- ISBN：9783319668444
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2017. 2017. xxi