Buy Used and New Andrei Paskevich Books

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers: 10712 (Lecture Notes in Computer Science)

by Andrei Paskevich,Thomas Wies

ISBN 13: 9783319723075

Format: Paperback (228 pages)
Publisher: Springer
Published: 15 Dec 2017

Save for later