Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers


Book Informaton

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Author

Supratik Chakraborty; Jorge A. Navas

Series

Lecture Notes in Computer Science

Volume

12031

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XVI, 193

Language

en

ISBN

9783030415990, 9783030416003, 3030415996

ARI Id

1665245460027


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 14 of 14 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xvi
1-18
19-29
30-35
36-53
54-67
68-86
87-106
107-123
124-142
143-160
161-179
180-192
193-193
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 14 of 14 entries