Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings - Lecture Notes in Computer Science -  - 書籍 - Springer Nature Switzerland AG - 9783030270070 - 2019年7月25日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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のウィッシュリストに追加

まだ評価がありません

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

同じ出版社からのその他の記事