Coverart for item
The Resource Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings, Karen Yorav (ed.), (electronic resource)

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings, Karen Yorav (ed.), (electronic resource)

Label
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
Title
Hardware and software, verification and testing
Title remainder
third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
Statement of responsibility
Karen Yorav (ed.)
Title variation
HVC 2007
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
OHX
Dewey number
004.24
LC call number
QA76.76.V47
LC item number
I54 2007
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
International Haifa Verification Conference
http://library.link/vocab/relatedWorkOrContributorName
Yorav, Karen
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary.
Series volume
4899
http://library.link/vocab/subjectName
  • Computer programs
  • Software architecture
  • Computer input-output equipment
  • Computer software
Label
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings, Karen Yorav (ed.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318069
Dimensions
unknown
Isbn
9783540779643
Isbn Type
(pbk.)
Lccn
2008920255
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318069
Label
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings, Karen Yorav (ed.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318069
Dimensions
unknown
Isbn
9783540779643
Isbn Type
(pbk.)
Lccn
2008920255
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318069

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