67-4964-14 Thinking Programs 978-3-030-80509-8
仕様
- サブタイトル：Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
- 著者：Schreiner, Wolfgang
- 叢書名：Texts & Monographs in Symbolic Computation
- 装丁：Paper
- 頁数他：XXXIII, 636 p.
- 発行日：2022/10/24
- 分類：プログラム理論
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|