FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering - Jorge Cuellar - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540682356 - 2008年5月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jorge Cuellar
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition

価格
¥ 8.859
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月14日 - 2026年1月26日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

436 pages, black & white illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2008年5月8日
ISBN13 9783540682356
出版社 Springer-Verlag Berlin and Heidelberg Gm
ジャンル Aspects (Academic) > Science / Technology Aspects
ページ数 436
寸法 155 × 235 × 23 mm   ·   657 g
言語 フランス語  
編集者 Cuellar, Jorge
編集者 Maibaum, Tom

Jorge Cuellarの他の作品を見る

すべて表示

Jorge Cuellarのすべてを見る ( 例： Paperback Book )