67-4965-03 Designing Reliable Distributed Systems 978-1-4471-6686-3
仕様
- サブタイトル：A Formal Methods Approach Based on Executable Modeling in Maude
- 著者：Ölveczky, Peter Csaba
- 叢書名：Undergraduate Topics in Computer Science
- 装丁：Paper
- 頁数他：XVIII, 313 p. 17 illus., 6 illus. in color.
- 発行日：2018/02/22
- 分類：ソフトウェア一般
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|