Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Author

Byron Cook; Andreas Podelski

Series

Lecture Notes in Computer Science

Volume

4349

Year of Publication

2007

Publisher

Springer Berlin Heidelberg

Pages

XI, 395

Language

EN

ISBN

9783540697350, 9783540697381, 3540697357

ARI Id

1664704685264


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 29 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-28
29-43
44-58
59-73
74-88
89-90
91-105
106-121
122-136
137-150
151-166
167-181
182-198
199-213
214-214
215-233
234-250
251-266
267-267
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 29 entries