Model Checking, second edition
簡介
關於本書
- 語言：English
- ISBN：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
$410.49
率先評價和評論此書籍！
