Coverart for item
The Resource Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers, Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.), (electronic resource)

Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers, Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.), (electronic resource)

Label
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
Title
Hardware and software, verification and testing
Title remainder
First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
Statement of responsibility
Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
Title variation
  • First International Haifa Verification Conference
  • International Haifa Verification Conference
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
YUS
Dewey number
005.1/4
LC call number
QA76.76.V47
LC item number
I54 2005
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
International Haifa Verification Conference
http://library.link/vocab/relatedWorkOrContributorName
  • Ur, Shmuel
  • Bin, Eyal
  • Wolfsthal, Yaron
Series statement
Lecture notes in computer science,
Series volume
3875
http://library.link/vocab/subjectName
  • Computer systems
  • Computer software
  • Computer programs
  • Integrated circuits
Label
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers, Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318068
Dimensions
unknown
Isbn
9783540326045
Lccn
2006921186
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318068
Label
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers, Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318068
Dimensions
unknown
Isbn
9783540326045
Lccn
2006921186
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318068

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