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
서가에 추가

이 책 평가하기

도서 일지 내보내기