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

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

Sharon Barner , Ian Harris , Daniel Kroening

还没有评分

Apr 8, 2011 · 英语 · 平装书 (208 页数)

加入书架

评价这本书

导出书籍日志

书籍详情

格式平装书

页数 208

语言英语

已发布 Apr 8, 2011

出版商 Springer

ISBN-10 3642195849

ISBN-13 9783642195846

加入书架

评价这本书

导出书籍日志