Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Lecture Notes in Computer Science 10729
Herausgegeben von Cerone, Antonio
Roveri, Marco
- 出版社：Springer, Berlin; Springer International Publishing;
- 出版年月：2018年 00月
- ISBN：9783319747804
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2018. 2018. x