Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Lecture Notes in Computer Science 11636
Herausgegeben von Biondi, Fabrizio
Given-Wilson, Thomas
Legay, Axel
- 出版社：Springer, Berlin; Springer International Publishing;
- 出版年月：2019年 00月
- ISBN：9783030309220
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2019. 2019. x
- 巻数・ページ数：350 p.