Coverart for item
The Resource Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers, Eyal Bin, Avi Ziv, Shmuel Ur (eds.), (electronic resource)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers, Eyal Bin, Avi Ziv, Shmuel Ur (eds.), (electronic resource)

Label
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers
Title
Hardware and software, verification and testing
Title remainder
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers
Statement of responsibility
Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Title variation
HVC 2006
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
OHX
Dewey number
004
LC call number
QA76.76.V47
LC item number
I54 2006
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International Haifa Verification Conference
http://library.link/vocab/relatedWorkOrContributorName
  • Bin, Eyal
  • Ziv, Avi
  • Ur, Shmuel
Series statement
Lecture notes in computer science,
Series volume
4383
http://library.link/vocab/subjectName
  • Computer systems
  • Computer software
  • Computer programs
  • Integrated circuits
Label
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers, Eyal Bin, Avi Ziv, Shmuel Ur (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • Hardware verification track -- Tools track -- Software testing track
  • Hardware verification track -- Tools track -- Software testing track
Control code
OCM1bookssj0000298360
Dimensions
unknown
Isbn
9783540708889
Isbn Type
(soft cover : alk. paper)
Lccn
2007920490
Specific material designation
remote
System control number
(WaSeSS)bookssj0000298360
Label
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers, Eyal Bin, Avi Ziv, Shmuel Ur (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • Hardware verification track -- Tools track -- Software testing track
  • Hardware verification track -- Tools track -- Software testing track
Control code
OCM1bookssj0000298360
Dimensions
unknown
Isbn
9783540708889
Isbn Type
(soft cover : alk. paper)
Lccn
2007920490
Specific material designation
remote
System control number
(WaSeSS)bookssj0000298360

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