Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings


Book Informaton

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Author

Kousha Etessami; Sriram K. Rajamani

Series

Lecture Notes in Computer Science

Volume

3576

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

Pages

XVI, 568

Language

EN

ISBN

9783540272311, 9783540316862, 3540272313

ARI Id

1664707742316


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 54 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-4
5-19
20-23
24-38
39-51
52-66
67-81
82-97
98-111
112-124
125-138
139-143
144-147
148-152
153-157
158-163
164-169
170-184
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 54 entries