Coverart for item
The Resource Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, edited by Kousha Etessami, Sriram K. Rajamani, (electronic book /)

Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, edited by Kousha Etessami, Sriram K. Rajamani, (electronic book /)

Label
Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Title
Computer Aided Verification (vol. # 3576)
Title remainder
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Statement of responsibility
edited by Kousha Etessami, Sriram K. Rajamani
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
DE-He213
Characteristic
online system or service
http://library.link/vocab/creatorName
Etessami, Kousha
Image bit depth
0
http://library.link/vocab/relatedWorkOrContributorName
Rajamani, Sriram K
Series statement
Lecture Notes in Computer Science
Series volume
3576
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Computer science
  • Logic design
  • Software engineering
Label
Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, edited by Kousha Etessami, Sriram K. Rajamani, (electronic book /)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
File format
multiple file formats
Isbn
9783540316862
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Label
Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, edited by Kousha Etessami, Sriram K. Rajamani, (electronic book /)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
File format
multiple file formats
Isbn
9783540316862
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...