この商品を友人に教える:
Formal Methods and Software Engineering 1st ed. 2018 edition
価格
¥ 8.767
税抜
遠隔倉庫からの取り寄せ
発送予定日 年4月6日 - 年4月17日
iMusicのウィッシュリストに追加
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions.
474 pages, 115 Illustrations, black and white; XXII, 474 p. 115 illus.
| メディア | 書籍 Book |
| リリース済み | 2018年10月11日 |
| ISBN13 | 9783030024499 |
| 出版社 | Springer Nature Switzerland AG |
| ページ数 | 474 |
| 寸法 | 150 × 220 × 20 mm · 744 g |
| 言語 | ドイツ語 |
| 編集者 | Sun, Jing |
| 編集者 | Sun, Meng |