Coverart for item
The Resource Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings, Thomas Ball, Robert B. Jones (eds.), (electronic resource)

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings, Thomas Ball, Robert B. Jones (eds.), (electronic resource)

Label
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Title
Computer aided verification
Title remainder
18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Statement of responsibility
Thomas Ball, Robert B. Jones (eds.)
Title variation
CAV 2006
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
OL$
Dewey number
004.24
LC call number
QA76.76.V47
LC item number
C38 2006
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
http://library.link/vocab/relatedWorkOrContributorDate
  • 1965-
  • 1969-
http://library.link/vocab/relatedWorkOrContributorName
  • Ball, Thomas
  • Jones, Robert B.
Series statement
Lecture notes in computer science
Series volume
4144
http://library.link/vocab/subjectName
  • Computer software
  • Integrated circuits
  • Circuits intégrés
  • Logiciels
Label
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings, Thomas Ball, Robert B. Jones (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316851
Dimensions
unknown
Isbn
9783540374060
Lccn
2006930415
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316851
Label
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings, Thomas Ball, Robert B. Jones (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316851
Dimensions
unknown
Isbn
9783540374060
Lccn
2006930415
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316851

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