Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: SpringerLink (Online service)
Tác giả khác: Ur, Shmuel, Ziv, Avi, Bin, Eyal
Định dạng: eBook
Ngôn ngữ:English
Được phát hành: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007.
Loạt:Lecture Notes in Computer Science, 4383
Những chủ đề:
Software engineering
Logic design
Computer science
Truy cập trực tuyến:Click here to view the full text content
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Miêu tả
Mô tả vật lý:1 online resource (234 pages) digital.
số ISBN:9783540708896
số ISSN:0302-9743 ;

Những quyển sách tương tự