Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I


Book Informaton

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Author

Swarat Chaudhuri; Azadeh Farzan

Series

Lecture Notes in Computer Science

Volume

9779

Year of Publication

1st ed. 2016

Publisher

Springer International Publishing

Pages

XVII, 541

Language

en

ISBN

9783319415277, 9783319415284, 3319415271

ARI Id

1664707807880


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

Showing 1 to 20 of 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XVII
1-1
3-22
23-42
43-61
62-83
84-91
93-93
95-117
118-135
136-156
157-176
177-177
179-198
199-217
218-240
241-260
261-268
269-269
271-291
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries