Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings


Book Informaton

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Author

Natasha Sharygina; Helmut Veith

Series

Lecture Notes in Computer Science

Volume

8044

Year of Publication

2013

Publisher

Springer Berlin Heidelberg

Pages

XXII, 1015

Language

en

ISBN

9783642397981, 9783642397998, 3642397980

ARI Id

1664707442916


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 74 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-35
36-52
53-68
69-84
85-100
101-106
107-123
124-140
141-157
158-173
174-190
191-196
197-212
213-228
229-234
235-241
242-257
258-263
264-279
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 74 entries