Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I


Book Informaton

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Author

Daniel Kroening; Corina S. Păsăreanu

Series

Lecture Notes in Computer Science

Volume

9206

Year of Publication

1st ed. 2015

Publisher

Springer International Publishing

Pages

XXIII, 677

Language

EN

ISBN

9783319216898, 9783319216904, 3319216899

ARI Id

1664969831203


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 52 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XXIII
1-1
3-10
11-11
13-29
30-48
49-66
67-84
85-102
103-119
121-121
123-139
140-157
158-177
178-194
195-213
214-231
233-233
235-254
255-272
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 52 entries