Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers


Book Informaton

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Author

Andrei Paskevich; Thomas Wies

Series

Lecture Notes in Computer Science

Volume

10712

Year of Publication

1st ed. 2017

Publisher

Springer International Publishing

Pages

XIII, 211

Language

en

ISBN

9783319723075, 9783319723082, 3319723073

ARI Id

1665094546615


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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
Showing 1 to 14 of 14 entries