Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings


Book Informaton

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Author

Ganesh Gopalakrishnan; Shaz Qadeer

Series

Lecture Notes in Computer Science

Volume

6806

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

XV, 763

Language

en

ISBN

9783642221095, 9783642221101

ARI Id

1664992116676


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 62 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-19
20-20
21-27
28-43
44-49
50-66
67-82
83-98
99-115
116-131
132-148
149-164
165-170
171-177
178-183
184-190
191-207
208-224
225-242
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 62 entries