Coverart for item
The Resource Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings, Ahmed Bouajjani, Wei-Ngan Chin (eds.), (electronic resource)

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings, Ahmed Bouajjani, Wei-Ngan Chin (eds.), (electronic resource)

Label
Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
Title
Automated technology for verification and analysis
Title remainder
8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
Statement of responsibility
Ahmed Bouajjani, Wei-Ngan Chin (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
BTCTA
Dewey number
511.3/6028563
LC call number
QA76.9
LC item number
.A96 2010
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
ATVA 2010
http://library.link/vocab/relatedWorkOrContributorName
  • Bouajjani, Ahmed
  • Chin, Wei-Ngan
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 2-programming and software engineering
Series volume
6252
http://library.link/vocab/subjectName
Automatic theorem proving
Summary expansion
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.The book includes 3 invited talks, 21 regular papers and 9 tool papers
Label
Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings, Ahmed Bouajjani, Wei-Ngan Chin (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000446325
Dimensions
unknown
Isbn
9783642156427
Isbn Type
(pbk. : acid-free paper)
Lccn
2010933601
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446325
Label
Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings, Ahmed Bouajjani, Wei-Ngan Chin (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000446325
Dimensions
unknown
Isbn
9783642156427
Isbn Type
(pbk. : acid-free paper)
Lccn
2010933601
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446325

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