Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 6th International Conference, CAV ' 94, Stanford, California, USA, June 21-23, 1994. Proceedings

Computer Aided Verification: 6th International Conference, CAV ' 94, Stanford, California, USA, June 21-23, 1994. Proceedings


Book Informaton

Computer Aided Verification: 6th International Conference, CAV ' 94, Stanford, California, USA, June 21-23, 1994. Proceedings

Author

David L. Dill

Series

Lecture Notes in Computer Science

Volume

818

Year of Publication

1994

Publisher

Springer Berlin Heidelberg

Pages

X, 486

Language

en

ISBN

9783540581796, 9783540484691, 3540581790

ARI Id

1664437525121


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo