Hardware and software verification and testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.).

Author/creator International Haifa Verification Conference
Other author Namjoshi, Kedar S.
Other author Zeller, Andreas.
Other author Ziv, Avi.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionx, 168 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2011 English International
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Computer programs--Verification. --Congresses.
Software architecture--Congresses.
Computer input-output equipment--Congresses.
Computer software--Verification. --Congresses.

SeriesLecture notes in computer science, 0302-9743 ; 6405
LNCS sublibrary: SL 2-programming and software engineering
Lecture notes in computer science ; 6405. ^A466336
LNCS sublibrary. SL 2, Programming and software engineering. UNAUTHORIZED
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Other formsAlso issued online.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2011920830
ISBN9783642192364 (pbk. : acid-free paper)
ISBN364219236X (pbk. : acid-free paper)