Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

Bibliographic Details
Main Author: Yorav, Karen (Author)
Corporate Author: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel)
Format: Book
Published: Berlin ; New York Springer c2008
Series:Lecture notes in computer science, 0302-9743 4899
LNCS sublibrary. SL 2, Programming and software engineering
Subjects:
Computer input-output equipment > Congresses
Computer programs > Verification > Congresses
Computer software > Verification > Congresses
Software architecture > Congresses
Description
Physical Description:xii, 266 p. ill. 24 cm
ISBN:3540779647 (pbk.)
9783540779643
9783540779643 (pbk.)

Similar Items