この商品を友人に教える:
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Programming and Software Engineering Hana Chockler 2009 edition
価格
NZ$ 97,50
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月19日 - 年12月31日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Programming and Software Engineering
Hana Chockler
After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume.
227 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2009年4月22日 |
| ISBN13 | 9783642017018 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 215 |
| 寸法 | 155 × 235 × 13 mm · 362 g |
| 言語 | フランス語 |
| 編集者 | Chockler, Hana |
| 編集者 | Hu, Alan J. |