Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - Lecture Notes in Computer Science - Sharon Barner - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642195822 - 2011年3月17日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Sharon Barner
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - Lecture Notes in Computer Science 2011 edition

価格
¥ 8.542
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月12日 - 年11月24日
クリスマスプレゼントは1月31日まで返品可能です
Sharon Barner の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

Publisher Marketing: Constitutes the post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, that was held in Haifa, Israel in October 2010. This book includes 10 full papers together with 7 invited papers that address issues, challenges and future directions of verification for hardware, software, and hybrid systems.

Contributor Bio:  Harris, Ian Ian Harris is Reader in Religious Studies at the University College of St. Martin, Lancaster. He has written extensively on contemporary Buddhist social activism, with particular emphasis on environmental issues.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年3月17日
ISBN13 9783642195822
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 197
寸法 155 × 235 × 11 mm   ·   299 g
言語 フランス語  
編集者 Barner, Sharon
編集者 Harris, Ian
編集者 Kroening, Daniel
編集者 Raz, Orna

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

Sharon Barnerのすべてを見る