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 - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642017018 - 2009年4月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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 2009 edition

価格
NZ$ 97,50
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月19日 - 年12月31日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

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.

すべて表示

Hana Chocklerの他の作品を見る