Coverart for item
The Resource Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996, proceedings, Rajeev Alur, Thomas A. Henzinger, eds

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996, proceedings, Rajeev Alur, Thomas A. Henzinger, eds

Label
Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996, proceedings
Title
Computer aided verification
Title remainder
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996, proceedings
Statement of responsibility
Rajeev Alur, Thomas A. Henzinger, eds
Title variation
CAV '96
Creator
Contributor
Subject
Genre
Language
eng
Summary
  • "This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation."--PUBLISHER'S WEBSITE
  • "This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation."--PUBLISHER'S WEBSITE
Member of
Cataloging source
RRR
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1996
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1966-
http://library.link/vocab/relatedWorkOrContributorName
  • Alur, Rajeev
  • Henzinger, T. A.
Series statement
Lecture notes in computer science
Series volume
1102
http://library.link/vocab/subjectName
  • Computer software
  • Electronic digital computers
Label
Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996, proceedings, Rajeev Alur, Thomas A. Henzinger, eds
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
35360065
Dimensions
24 cm
Extent
xii, 472 pages
Isbn
9783540614746
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996, proceedings, Rajeev Alur, Thomas A. Henzinger, eds
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
35360065
Dimensions
24 cm
Extent
xii, 472 pages
Isbn
9783540614746
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...