Lubos Brim
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August Lubos Brim 2007 edition

Name: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August
Price: 8512 JPY
Availability: OutOfStock
Author: Lubos Brim

価格

¥ 8.512

税抜

遠隔倉庫からの取り寄せ

発送予定日年12月4日 - 年12月16日

クリスマスプレゼントは1月31日まで返品可能です

Lubos Brim の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August

Lubos Brim

2007 edition

Constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

376 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2007年2月20日
ISBN13	9783540709510
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	366
寸法	155 × 235 × 19 mm · 526 g
言語	ドイツ語
編集者	Brim, Lubos
編集者	Haverkort, Boudewijn
編集者	Leucker, Martin
編集者	Pol, Jaco van de