Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings


Book Informaton

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Author

Ahmed Bouajjani; Oded Maler

Series

Lecture Notes in Computer Science

Volume

5643

Year of Publication

2009

Publisher

Springer Berlin Heidelberg

Pages

XV, 722

Language

en

ISBN

9783642026577, 9783642026584

ARI Id

1664728387889


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 62 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-16
17-32
33-34
35-49
50-50
51-62
63-63
64-78
79-93
94-108
109-123
124-139
140-156
157-172
173-187
188-203
204-218
219-232
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 62 entries