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 - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642045691 - 2009年10月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering 2009 edition

価格
¥ 8.505
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月30日 - 年11月11日
Mar a Alpuente の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

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

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