Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers


Book Informaton

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Author

Sandrine Blazy; Marsha Chechik

Series

Lecture Notes in Computer Science

Volume

9971

Year of Publication

1st ed. 2016

Publisher

Springer International Publishing

Pages

XIV, 199

Language

en

ISBN

9783319488684, 9783319488691

ARI Id

1664871082563


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 16 of 16 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XIV
1-7
8-26
27-45
46-55
56-72
73-89
90-106
107-118
119-128
129-138
139-148
149-165
166-180
181-198
199-199
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 16 of 16 entries