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