Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings


Book Informaton

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Author

Aarti Gupta; Sharad Malik

Series

Lecture Notes in Computer Science

Volume

5123

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

Pages

XVII, 558

Language

en

ISBN

9783540705437, 9783540705451

ARI Id

1664772756127


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 55 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-2
3-4
5-10
11-18
19-21
22-36
37-51
52-65
66-79
80-93
94-106
107-120
121-134
135-148
149-161
162-175
176-189
190-203
204-208
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 55 entries