Coverart for item
The Resource Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings, Tayssir Touili, Byron Cook, Paul Jackson (eds.), (electronic book)

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings, Tayssir Touili, Byron Cook, Paul Jackson (eds.), (electronic book)

Label
Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
Title
Computer aided verification
Title remainder
22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
Statement of responsibility
Tayssir Touili, Byron Cook, Paul Jackson (eds.)
Title variation
CAV 2010
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
C38 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Touili, Tayssir
  • Cook, Byron
  • Jackson, Paul B.
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
6174
http://library.link/vocab/subjectName
  • Computer software
  • Electronic digital computers
Label
Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings, Tayssir Touili, Byron Cook, Paul Jackson (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR663093895
Dimensions
unknown
Extent
1 online resource (xvi, 676 p.)
Form of item
online
Isbn
9783642142949
Other physical details
ill.
Specific material designation
remote
Label
Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings, Tayssir Touili, Byron Cook, Paul Jackson (eds.), (electronic book)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR663093895
Dimensions
unknown
Extent
1 online resource (xvi, 676 p.)
Form of item
online
Isbn
9783642142949
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...