Coverart for item
The Resource Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings, Aarti Gupta, Sharad Malik (eds.), (electronic resource)

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings, Aarti Gupta, Sharad Malik (eds.), (electronic resource)

Label
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Title
Computer aided verification
Title remainder
20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Statement of responsibility
Aarti Gupta, Sharad Malik (eds.)
Title variation
CAV 2008
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
CaPaEBR
LC call number
QA76.76.V47
LC item number
C38 2008eb
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
CAV
http://library.link/vocab/relatedWorkOrContributorName
  • Gupta, Aarti
  • Malik, Sharad
  • ebrary, Inc
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
5123
http://library.link/vocab/subjectName
  • Computer software
  • Integrated circuits
Summary expansion
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking
Label
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings, Aarti Gupta, Sharad Malik (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316848
Dimensions
unknown
Isbn
9783540705451
Isbn Type
(e-book)
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316848
Label
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings, Aarti Gupta, Sharad Malik (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316848
Dimensions
unknown
Isbn
9783540705451
Isbn Type
(e-book)
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316848

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