Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
あらすじ
この書籍について
- 言語 English
- 商品番号：9783031661495
- 発売日 2024年10月12日
- 出版社：Springer Nature Switzerland
- 出版社： Springer
- ファイル形式 EPUB3
- サイズ 22.74 MB
- ダウンロードオプション:EPUB3 (Adobe DRM)
