Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings


Book Informaton

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Author

Tayssir Touili; Byron Cook; Paul Jackson

Series

Lecture Notes in Computer Science

Volume

6174

Year of Publication

2010

Publisher

Springer Berlin Heidelberg

Pages

XVI, 676

Language

en

ISBN

9783642142949, 9783642142956

ARI Id

1664869103409


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 60 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-18
19-19
20-22
23-23
24-40
41-56
57-71
72-88
89-103
104-118
119-122
123-126
127-131
132-147
148-161
162-166
167-170
171-174
175-179
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 60 entries