Hardware and software verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz, eds.

Author/creator International Haifa Verification Conference
Format Electronic
Publication InfoHeidelberg : Springer, [2011]
Descriptionx, 196 pages : illustrations ; 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.

Other author/creatorBarner, Sharon.
Other author/creatorHarris, Ian.
Other author/creatorKroening, Daniel.
Other author/creatorRaz, Orna.
SeriesLecture notes in computer science, 0302-9743 ; 6504
LNCS Sublibrary: SL 2 : programming and software engineering
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2011923074
ISBN9783642195822 (pbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available