Coverart for item
The Resource Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings, Orna Grumberg (ed.)

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings, Orna Grumberg (ed.)

Label
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
Title
Computer aided verification
Title remainder
9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
Statement of responsibility
Orna Grumberg (ed.)
Title variation
CAV'97
Creator
Contributor
Subject
Genre
Language
fre
Summary
"This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area."--PUBLISHER'S WEBSITE
Member of
Cataloging source
CUY
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1997
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Grumberg, Orna
Series statement
Lecture notes in computer science
Series volume
1254
http://library.link/vocab/subjectName
  • Computer software
  • Integrated circuits
  • Electronic digital computers
Label
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings, Orna Grumberg (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and 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
37270854
Dimensions
24 cm
Extent
xi, 486 pages
Isbn
9783540631668
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings, Orna Grumberg (ed.)
Publication
Bibliography note
Includes bibliographical references and 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
37270854
Dimensions
24 cm
Extent
xi, 486 pages
Isbn
9783540631668
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 ...