Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings


Book Informaton

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Author

Ed Brinksma; Kim G. Larsen

Series

Lecture Notes in Computer Science

Volume

2404

Year of Publication

2002

Publisher

Springer Berlin Heidelberg

Pages

X, 362

Language

en

ISBN

9783540439974, 9783540456575, 3540439978

ARI Id

1664750747223


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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 53 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XIII
1-16
17-36
37-56
57-57
58-65
65-77
78-92
93-106
107-122
123-136
137-151
151-165
166-179
180-194
195-208
209-222
223-235
236-249
250-264
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 53 entries