Model Checking, second edition
あらすじ
ジャンル
この書籍について
- 言語 English
- 商品番号：9780262349451
- 発売日 2018年12月4日
- 出版社：MIT Press
- 出版社： The MIT Press
- ファイル形式 EPUB3
- サイズ 15.54 MB
- ダウンロードオプション:EPUB3 (Adobe DRM)
楽天Koboなら読書がもっと楽しくなります。
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
6,076 円
最初のレビュアーになりませんか？
