Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Author

Viktor Kuncak; Andrey Rybalchenko

Series

Lecture Notes in Computer Science

Volume

7148

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

X, 457

Language

en

ISBN

9783642279393, 9783642279409, 3642279392

ARI Id

1664695663238


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 10 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-22
23-23
24-38
39-55
56-71
72-87
88-103
104-118
119-135
136-151
152-168
169-185
186-201
202-218
219-234
235-250
251-266
267-282
283-298
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries