この商品を友人に教える:
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings - Lecture Notes in Computer Science 2019 Edition
価格
¥ 8.459
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月7日 - 年12月17日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings - Lecture Notes in Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.
161 pages, 33 Illustrations, color; 123 Illustrations, black and white; XV, 161 p. 156 illus., 33 il
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2019年7月25日 |
| ISBN13 | 9783030270070 |
| 出版社 | Springer Nature Switzerland AG |
| ページ数 | 161 |
| 寸法 | 150 × 220 × 10 mm · 454 g |
| 言語 | ドイツ語 |
| 編集者 | Larsen, Kim Guldstrand |
| 編集者 | Willemse, Tim |