Coverart for item
The Resource Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings, Ahmed Bouajjani, Oded Maler (eds.), (electronic resource)

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings, Ahmed Bouajjani, Oded Maler (eds.), (electronic resource)

Label
Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
Title
Computer aided verification
Title remainder
21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
Statement of responsibility
Ahmed Bouajjani, Oded Maler (eds.)
Title variation
CAV 2009
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
CaPaEBR
LC call number
QA76.76.V47
LC item number
C38 2009eb
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
http://library.link/vocab/relatedWorkOrContributorName
  • Bouajjani, Ahmed
  • Maler, O.
  • ebrary, Inc
Series statement
Lecture notes in computer science,
Series volume
5643
http://library.link/vocab/subjectName
  • Computer software
  • Integrated circuits
Summary expansion
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques
Label
Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings, Ahmed Bouajjani, Oded Maler (eds.), (electronic resource)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316849
Dimensions
unknown
Isbn
9783642026584
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316849
Label
Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings, Ahmed Bouajjani, Oded Maler (eds.), (electronic resource)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316849
Dimensions
unknown
Isbn
9783642026584
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316849

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