Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20â 21, 2020, . Papers (Programming and Software Engineering)

Christakis, Maria; Polikarpova, Nadia; Duggirala, Parasara Sridhar; Schrammel, Peter

ISBN 10: 3030636178 ISBN 13: 9783030636173
Published by Springer (edition 1st ed. 2020), 2020
Language: English
Condition: Used - Good Soft cover

Sold by BooksRun, Philadelphia, PA, U.S.A.

AbeBooks Seller since 2 February 2016

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Soft cover

Condition: Used - Good

Price:
£ 27.62
Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket