Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Sharon Barner , Ian Harris , Daniel Kroening
まだ評価がありません
Apr 8, 2011 · 英語 · ペーパーバック (208 ページ)
棚に追加

この本を評価する

ブックジャーナルをエクスポート

本の詳細

形式 ペーパーバック
ページ数 208
言語 英語
公開されました Apr 8, 2011
出版社 Springer
ISBN-10 3642195849
ISBN-13 9783642195846
棚に追加

この本を評価する

ブックジャーナルをエクスポート