この商品を友人に教える:
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering Mar a Alpuente 2009 edition
価格
¥ 8.505
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月30日 - 年11月11日
Mar a Alpuente の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering
Mar a Alpuente
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.
223 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2009年10月26日 |
| ISBN13 | 9783642045691 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ジャンル | Aspects (Academic) > Science / Technology Aspects |
| ページ数 | 213 |
| 寸法 | 155 × 235 × 13 mm · 362 g |
| 言語 | フランス語 |
| 編集者 | Alpuente, Maria |
| 編集者 | Cook, Byron |
| 編集者 | Joubert, Christophe |