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: International Haifa Verification Conference Haifa, Israel
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin : Springer, ©2007.
Series:Lecture notes in computer science 4383.
Subjects:
Computer input-output equipment
Computer software > Verification
Computer programs > Verification > Congresses.
Software architecture > Congresses.
Computer input-output equipment > Congresses
Computer software > Verification > Congresses
Logiciels > Vérification > Congrès.
Architecture logicielle > Congrès.
Computer programs > Verification
Software architecture
Conference papers and proceedings

Similar Items