Coverart for item
The Resource 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, (electronic resource)

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, (electronic resource)

Label
Hardware and software : verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers
Title
Hardware and software
Title remainder
verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers
Statement of responsibility
Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz, eds
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Cataloging source
DLC
LC call number
QA76.76.V47
LC item number
I54 2010
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
International Haifa Verification Conference
http://library.link/vocab/relatedWorkOrContributorName
  • Barner, Sharon
  • Harris, Ian
  • Kroening, Daniel
  • Raz, Orna
Series statement
  • Lecture notes in computer science,
  • LNCS Sublibrary: SL 2 : programming and software engineering
Series volume
6504
http://library.link/vocab/subjectName
  • Computer programs
  • Software architecture
  • Computer input-output equipment
  • Computer software
Summary expansion
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon
Label
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, (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000537430
Dimensions
unknown
Isbn
9783642195822
Isbn Type
(pbk. : alk. paper)
Lccn
2011923074
Specific material designation
remote
System control number
(WaSeSS)bookssj0000537430
Label
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, (electronic resource)
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000537430
Dimensions
unknown
Isbn
9783642195822
Isbn Type
(pbk. : alk. paper)
Lccn
2011923074
Specific material designation
remote
System control number
(WaSeSS)bookssj0000537430

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...