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
加入書架

評價這本書

出口書籍日誌