Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings


Book Informaton

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Author

Thomas Ball; Robert B. Jones

Series

Lecture Notes in Computer Science

Volume

4144

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Pages

XV, 564

Language

en

ISBN

9783540374060, 9783540374114, 354037406X

ARI Id

1664729081930


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 51 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-2
3-4
5-16
17-30
31-44
45-58
59-62
63-66
67-80
81-94
95-108
109-122
123-136
137-151
152-165
166-169
170-174
175-189
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 51 entries