Hardware and software
Subtitle: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings
By: Hana Chockler, Alan J. Hu (eds.).
Contributors: Chockler, Hana; Hu, Alan J. (Alan John)
Series: Lecture notes in computer science -- 5394
Publisher: Springer
Published: 2009
Place of publication: Berlin
Language: eng
Number of pages: 214
ISBN-13: 9783642017018
Subjects: Congresses; Verification; Computer programs; Computer input-output equipment; Software architecture; Computer software
Notes: Includes bibliographical references and index.