Coverart for item
The Resource Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings, Ganesh Gopalakrishnan, Shaz Qadeer (eds.), (electronic book)

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings, Ganesh Gopalakrishnan, Shaz Qadeer (eds.), (electronic book)

Label
Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings
Title
Computer aided verification
Title remainder
23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings
Statement of responsibility
Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
Title variation
CAV 2011
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
CUS
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
C38 2011eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Gopalakrishnan, Ganesh
  • Qadeer, Shaz
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
6806
http://library.link/vocab/subjectName
  • Computer software
  • Electronic digital computers
Label
Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings, Ganesh Gopalakrishnan, Shaz Qadeer (eds.), (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
SPR740506929
Extent
1 online resource (xvii, 763 p.)
Form of item
online
Isbn
9783642221101
Other physical details
ill.
Specific material designation
remote
Label
Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings, Ganesh Gopalakrishnan, Shaz Qadeer (eds.), (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Control code
SPR740506929
Extent
1 online resource (xvii, 763 p.)
Form of item
online
Isbn
9783642221101
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...