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 /

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Ur, Shmuel, Ziv, Avi, Bin, Eyal
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007.
Series:Lecture Notes in Computer Science, 4383
Subjects:
Software engineering
Logic design
Computer science
Online Access:Click here to view the full text content
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:1 online resource (234 pages) digital.
ISBN:9783540708896
ISSN:0302-9743 ;

Similar Items