Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
あらすじ
この書籍について
- 言語 English
- 商品番号：9783030255435
- 発売日 2019年7月12日
- 出版社：Springer International Publishing
- 出版社： Springer
- ファイル形式 EPUB3
- サイズ 28.25 MB
- ダウンロードオプション:EPUB3 (Adobe DRM)
