この商品を友人に教える:
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 2006 edition
価格
¥ 16.529
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月21日 - 年11月2日
Zhiming Liu の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
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
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 |