Hardware and software verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings / Hana Chockler, Alan J. Hu (eds.).

Author/creator International Haifa Verification Conference
Other author Chockler, Hana.
Other author Hu, Alan J. (Alan John)
Format Electronic
Publication InfoBerlin : Springer,
Descriptionxii, 214 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Subjects
Computer programs--Verification. --Congresses.
Software architecture--Congresses.
Computer input-output equipment--Congresses.
Computer software--Verification. --Congresses.

SeriesLecture notes in computer science ; 5394
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009930043
ISBN9783642017018 (softcover : alk. paper)
ISBN3642017010 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available