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

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

Label
Hardware and software : verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings
Title
Hardware and software
Title remainder
verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings
Statement of responsibility
Hana Chockler, Alan J. Hu (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
LC call number
QA76.76.V47
LC item number
I54 2008
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
International Haifa Verification Conference
http://library.link/vocab/relatedWorkOrContributorName
  • Chockler, Hana
  • Hu, Alan J.
Series statement
Lecture notes in computer science
Series volume
5394
http://library.link/vocab/subjectName
  • Computer programs
  • Software architecture
  • Computer input-output equipment
  • Computer software
Label
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.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318070
Dimensions
unknown
Isbn
9783642017018
Isbn Type
(softcover : alk. paper)
Lccn
2009930043
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318070
Label
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.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318070
Dimensions
unknown
Isbn
9783642017018
Isbn Type
(softcover : alk. paper)
Lccn
2009930043
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318070

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 ...