67-4965-26 Formal Methods for Software Engineering 978-3-030-38799-0
仕様
- サブタイトル：Languages, Methods, Application Domains
- 著者：Roggenbach, Markus/Cerone, Antonio/Schlingloff, Bernd-Holger/Schneider, Gerardo/Shaikh, Siraj Ahmed
- 叢書名：Texts in Theoretical Computer Science. An EATCS Series
- 装丁：Hard
- 頁数他：XXVIII, 524 p. 47 illus., 12 illus. in color.
- 発行日：2022/06/23
- 分類：ソフトウェア工学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|