Title:
Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
Conference Author:
Series:
Lecture notes in computer science, 4899
Publication Information:
Berlin : Springer-Verlag, 2008
Physical Description:
xii, 266 p. : ill. ; 24 cm.
ISBN:
9783540779643
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010177415 | QA76.76.V47 I575 2008 | Open Access Book | Proceedings, Conference, Workshop etc. | Searching... |