Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Author

Gilles Barthe; Manuel Hermenegildo

Series

Lecture Notes in Computer Science

Volume

5944

Year of Publication

2010

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

X, 397

Language

en

ISBN

9783642113185, 9783642113192, 3642113184

ARI Id

1664720244232


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-1
2-2
3-22
23-24
25-25
26-44
45-60
61-77
78-94
95-111
112-128
129-145
146-162
163-179
180-196
197-213
214-230
231-246
247-262
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 29 entries