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.
Bibliography:Includes bibliographical references and index
ISBN:3540779647 (pbk.)
9783540779643
9783540779643 (pbk.)

Similar Items