67-4963-61 Provably Correct Systems 978-3-319-83980-6
仕様
- 編者：Hinchey, Mike/Bowen, Jonathan P./Olderog, Ernst-Rüdiger
- 叢書名：NASA Monographs in Systems and Software Engineering
- 装丁：Paper
- 頁数他：XV, 328 p. 84 illus., 48 illus. in color.
- 発行日：2018/05/03
- 分類：情報数理：数理論理学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|