Hardware and software, verification and testing
Subtitle: third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
By: Karen Yorav (ed.).
Contributors: Yorav, Karen.
Series: Lecture notes in computer science -- 4899; LNCS sublibrary
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 266
ISBN-13: 9783540779643
Subjects: Computer programs -- Verification -- Congresses; Software architecture -- Congresses; Computer input-output equipment -- Congresses; Computer software -- Verification -- Congresses
Genres: Congresses.
Other titles: HVC 2007
Notes: Includes bibliographical references and index.

Also issued online.