Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Author

E. Allen Emerson; Kedar S. Namjoshi

Series

Lecture Notes in Computer Science

Volume

3855

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Pages

XI, 443

Language

en

ISBN

9783540311393, 9783540316220, 3540311394

ARI Id

1664696000111


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 30 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-32
33-48
49-64
65-79
80-94
95-110
111-125
126-141
142-156
157-173
174-189
190-206
207-221
222-236
237-251
252-266
267-281
282-297
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 30 entries