Formal Methods for Industrial Critical Systems
20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings
Lecture Notes in Computer Science .9128
Herausgegeben von Nunez, Manuel
Guedemann, Matthias
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2015年 05月
- ISBN：9783319194578
- 装丁：HRD
-
装丁について
- 版次：2015. 2015. xvi