Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers


Book Informaton

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Author

Agostino Cortesi

Series

Lecture Notes in Computer Science

Volume

2294

Year of Publication

2002

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

VIII, 331

Language

en

ISBN

9783540436317, 9783540478133, 3540436316

ARI Id

1664804141754


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 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 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-VIII
1-15
16-31
32-45
46-64
65-78
79-93
94-108
109-125
126-138
139-153
154-166
167-181
182-195
196-207
208-224
225-239
240-254
255-271
272-288
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries