Description: Verified Software : Theories, Tools, and Experiments; 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, Paperback by Paskevich, Andrei (EDT); Wies, Thomas (EDT), ISBN 3319723073, ISBN-13 9783319723075, Brand New, Free shipping in the US This volume constitutes the thoroughly refereed post-conferenceproceedings of the 9th International Conference on Verified Software:Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
Price: 65.99 USD
Location: Jessup, Maryland
End Time: 2025-01-25T00:21:17.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Verified Software : Theories, Tools, and Experiments; 9th Interna
Author: Paskevich, Andrei (EDT); Wies, Thomas (EDT)
Language: english
