Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings - Lecture Notes in Computer Science - Zhiming Liu - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540474609 - 2006年10月24日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition

価格
¥ 16.529
税抜

遠隔倉庫からの取り寄せ

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

まだ評価がありません

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The papers address all current issues in formal methods and their applications in software engineering.


792 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2006年10月24日
ISBN13 9783540474609
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 792
寸法 155 × 235 × 40 mm   ·   1,10 kg
言語 ドイツ語  
編集者 He, Jifeng
編集者 Liu, Zhiming

Zhiming Liuの他の作品を見る

すべて表示

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