Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
Lecture Notes in Computer Science 11918
Herausgegeben von Ahrendt, Wolfgang
Tapia Tarifa, Silvia Lizeth
- 出版社:Springer, Berlin; Springer International Publishing;
- 出版年月:2019年 00月
- ISBN:9783030349677
- 装丁:PAP
-
装丁について
- 言語:ENG
- 版次:1st ed. 2019. 2019. xvii
- 巻数・ページ数:400 p.