67-4965-62 Domain Science and Engineering 978-3-030-73486-2
仕様
- サブタイトル：A Foundation for Software Development
- 著者：Bjørner, Dines
- 叢書名：Monographs in Theoretical Computer Science. An EATCS Series
- 装丁：Paper
- 頁数他：XVIII, 401 p.
- 発行日：2022/11/10
- 分類：ソフトウェア設計
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|