Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
あらすじ
この書籍について
- 言語 English
- 商品番号：9783319415406
- 発売日 2016年7月12日
- 出版社：Springer International Publishing
- 出版社： Springer
- ファイル形式 EPUB2
- サイズ 8.40 MB
- ダウンロードオプション:EPUB2 (Adobe DRM)
