Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
あらすじ
この書籍について
- 言語 English
- 商品番号：9783030532918
- 発売日 2020年7月15日
- 出版社：Springer International Publishing
- 出版社： Springer
- ファイル形式 EPUB3
- サイズ 41.52 MB
- ダウンロードオプション:EPUB3 (Adobe DRM)
