Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Lecture Notes in Computer Science 10869
Herausgegeben:Gallardo, Marí
a del Mar
Merino, Pedro
- 出版社：Springer, Berlin; Springer International Publishing;
- 出版年月：2018年 00月
- ISBN：9783319941103
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2018. 2018. xvi