Software Verification : 13th International Conference, Vstte 2021, New Haven, Ct, USA, October 18-19, 2021, and 14th International Workshop, Nsv 2021, Los Angeles, Ca, USA, July 18-19, 2021, Revised Selected Papers

Bloem, Roderick (EDT); Dimitrova, Rayna (EDT); Fan, Chuchu (EDT); Sharygina, Natasha (EDT)

ISBN 10: 3030955605 ISBN 13: 9783030955601
Published by Springer, 2022
Language: English
Condition: New Soft cover

Sold by GreatBookPrices, Columbia, MD, U.S.A.

AbeBooks Seller since April 6, 2009

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

View this seller's items


New - Soft cover

Condition: New

Price:
US$ 73.34
US$ 2.64 shipping
Ships within U.S.A.

Quantity: 15 available

Add to basket