Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Author

Francesco Logozzo; Doron A. Peled; Leonore D. Zuck

Series

Lecture Notes in Computer Science

Volume

4905

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

X, 325

Language

en

ISBN

9783540781622, 9783540781639, 3540781625

ARI Id

1665000508801


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 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-3
4-4
5-5
6-6
7-7
8-21
22-36
37-51
52-67
68-82
83-97
98-111
112-126
127-141
142-156
157-171
172-187
188-202
203-217
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries