Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer-Aided Verification: 2nd Internatonal Conference, CAV ' 90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Computer-Aided Verification: 2nd Internatonal Conference, CAV ' 90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings


Book Informaton

Computer-Aided Verification: 2nd Internatonal Conference, CAV ' 90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Author

Edmund M. Clarke; Robert P. Kurshan

Series

Lecture Notes in Computer Science

Volume

531

Year of Publication

1991

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XIV, 378

Language

en

ISBN

9783540544777, 9783540383949, 3540544771, 0387544771

ARI Id

1664590098800


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 3 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 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-12
13-22
23-32
33-43
44-53
54-64
65-75
76-85
86-95
96-105
106-115
116-125
126-135
136-145
146-155
156-165
166-175
176-185
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries