Hardware and Software: Verification and Testing : second International Haifa Verification Conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: International Haifa Verification Conference Haifa, Izrael) (Author)
Other Authors: Yorav, Karen (Editor)
Format: Book
Language:English
Published: Berlin : Springer, c2008
Series:Lecture notes in computer science ; 4899
Subjects:
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Available
Month
Faculty of Informatics K1020.07 4200513951