Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
あらすじ
この書籍について
- 言語 English
- 商品番号：9783030309237
- 発売日 2019年10月2日
- 出版社：Springer International Publishing
- 出版社： Springer
- ファイル形式 EPUB3
- サイズ 12.90 MB
- ダウンロードオプション:EPUB3 (Adobe DRM)
