The Resource Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by Madhusudan Parthasarathy, Sanjit A. Seshia, (electronic resource)

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by Madhusudan Parthasarathy, Sanjit A. Seshia, (electronic resource)

Label
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Title
Computer Aided Verification
Title remainder
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Statement of responsibility
edited by Madhusudan Parthasarathy, Sanjit A. Seshia
Creator
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration
Member of
Is Subseries of
Dewey number
005.1015113
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • DoA6iJe85Ss
  • eh-eG7cEj3s
Image bit depth
0
Language note
English
LC call number
  • QA76.9.L63
  • QA76.5913
  • QA76.63
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Parthasarathy, Madhusudan.
  • Seshia, Sanjit A.
Series statement
  • LNCS sublibrary.
  • Theoretical Computer Science and General Issues
Series volume
7358
http://library.link/vocab/subjectName
  • Logic design
  • Software engineering
  • Computer science
  • Artificial intelligence
  • Computer hardware
  • Logics and Meanings of Programs
  • Software Engineering
  • Mathematical Logic and Formal Languages
  • Artificial Intelligence
  • Special Purpose and Application-Based Systems
  • Computer Hardware
Label
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by Madhusudan Parthasarathy, Sanjit A. Seshia, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Color
not applicable
Content category
text
Content type code
txt
Dimensions
unknown
Edition
1st ed. 2012.
Extent
1 online resource (XVI, 789 p. 192 illus.)
File format
multiple file formats
Form of item
online
Isbn
9783642314247
Level of compression
uncompressed
Media category
computer
Media type code
c
Other control number
10.1007/978-3-642-31424-7
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3400000000085364
  • (SSID)ssj0000697474
  • (PQKBManifestationID)11460664
  • (PQKBTitleCode)TC0000697474
  • (PQKBWorkID)10707660
  • (PQKB)11429226
  • (DE-He213)978-3-642-31424-7
  • (MiAaPQ)EBC3070292
  • (EXLCZ)993400000000085364
Label
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by Madhusudan Parthasarathy, Sanjit A. Seshia, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Color
not applicable
Content category
text
Content type code
txt
Dimensions
unknown
Edition
1st ed. 2012.
Extent
1 online resource (XVI, 789 p. 192 illus.)
File format
multiple file formats
Form of item
online
Isbn
9783642314247
Level of compression
uncompressed
Media category
computer
Media type code
c
Other control number
10.1007/978-3-642-31424-7
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3400000000085364
  • (SSID)ssj0000697474
  • (PQKBManifestationID)11460664
  • (PQKBTitleCode)TC0000697474
  • (PQKBWorkID)10707660
  • (PQKB)11429226
  • (DE-He213)978-3-642-31424-7
  • (MiAaPQ)EBC3070292
  • (EXLCZ)993400000000085364

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...