Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings


Book Informaton

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Author

Werner Damm; Holger Hermanns

Series

Lecture Notes in Computer Science

Volume

4590

Year of Publication

2007

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XV, 562

Language

en

ISBN

9783540733676, 9783540733683, 3540733671

ARI Id

1664715418222


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 56 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-2
3-3
4-19
20-36
37-37
38-38
39-54
55-67
68-81
82-94
95-107
108-120
121-125
126-130
131-144
145-157
158-163
164-167
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 56 entries