Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Author

Neil Jones; Markus Müller-Olm

Series

Lecture Notes in Computer Science

Volume

5403

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

XI, 381

Language

en

ISBN

9783540938996, 9783540939009

ARI Id

1664726532227


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 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-2
3-3
4-4
5-13
14-28
29-43
44-58
59-73
74-88
89-104
105-119
120-135
136-150
151-166
167-181
182-197
198-213
214-228
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries