Applied Formal Methods - Fm-trends '98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings - Lecture Notes in Computer Science - D Hutter - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540664628 - 1999年8月25日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

D Hutter
Applied Formal Methods - Fm-trends '98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings - Lecture Notes in Computer Science

価格
¥ 8.584
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月5日 - 年10月15日
D Hutter の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

This volume contains the refereed proceedings of the 1998 International Workshop on Current Trends in Applied Formal Methods. The papers address a range of developments in the use of formal methods during the different design stages of software systems for use in various application fields.

396 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1999年8月25日
ISBN13 9783540664628
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 396
寸法 156 × 234 × 20 mm   ·   553 g
言語 ドイツ語  
編集者 Hutter, Dieter
編集者 Stephan, Werner
編集者 Traverso, Paolo
編集者 Ullmann, Markus

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

D Hutterのすべてを見る