Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Author

Kenneth McMillan; Xavier Rival

Series

Lecture Notes in Computer Science

Volume

8318

Year of Publication

2014

Publisher

Springer Berlin Heidelberg

Pages

XVIII, 493

Language

en

ISBN

9783642540127, 9783642540134

ARI Id

1664990924752


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 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-20
21-38
39-58
59-77
78-97
98-117
118-136
137-141
142-160
161-181
182-202
203-221
222-241
242-261
262-281
282-301
302-321
322-336
337-356
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries