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

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Author

Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen

Series

Lecture Notes in Computer Science

Volume

8931

Year of Publication

2015

Publisher

Springer Berlin Heidelberg

Pages

XVIII, 468

Language

en

ISBN

9783662460801, 9783662460818, 3662460807

ARI Id

1665001492030


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 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-18
19-42
43-60
61-79
80-98
99-116
117-134
135-152
153-171
172-189
190-208
209-226
227-244
245-262
263-281
282-299
300-317
318-335
336-354
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries