67-4965-30 Handbook of Model Checking 978-3-319-10574-1
仕様
- 編者：Clarke, Edmund M./Henzinger, Thomas A./Veith, Helmut/Bloem, Roderick
- 装丁：Hard
- 頁数他：XXIV, 1210 p. 220 illus., 6 illus. in color.
- 発行日：2018/06/08
- 分類：ソフトウェア工学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|