Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 5th International Conference, CAV' 93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Computer Aided Verification: 5th International Conference, CAV' 93, Elounda, Greece, June 28 - July 1, 1993. Proceedings


Book Informaton

Computer Aided Verification: 5th International Conference, CAV' 93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Author

Costas Courcoubetis

Series

Lecture Notes in Computer Science

Volume

697

Year of Publication

1993

Publisher

Springer Berlin Heidelberg

Pages

X, 510

Language

en

ISBN

9783540569220, 9783540477877, 3540569227

ARI Id

1664630989047


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 42 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-2
3-14
15-28
29-40
41-58
59-70
71-84
85-96
97-109
110-122
123-137
138-153
154-165
166-179
180-180
181-193
194-209
210-224
225-236
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 42 entries