Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering - De F S Boer - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540291312 - 2005年9月19日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

De F S Boer
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering 2005 edition

価格
¥ 10.495
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月15日 - 年10月1日
De F S Boer の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems.

328 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2005年9月19日
ISBN13 9783540291312
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 328
寸法 155 × 235 × 17 mm   ·   471 g
言語 フランス語  
編集者 Bonsangue, Marcello M.
編集者 De Boer, Frank S.
編集者 De Roever, Willem-paul
編集者 Graf, Susanne

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

De F S Boerのすべてを見る