Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13???14, 2019, Revised Selected Papers : 12031 by Supratik Chakraborty - Paperback

Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13???14, 2019, Revised Selected Papers : 12031 by Supratik Chakraborty - Paperback

AED303.69
(0) Write a Review
SKU:
9783030415990
UPC:
9783030415990

Product Description

ISBN: 9783030415990
TITLE: Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13???14, 2019, Revised Selected Papers : 12031
AUTHOR: Supratik Chakraborty
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 14 Mar 2020

Other Details

ISBN:
9783030415990
Author:
Supratik Chakraborty
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:14 Mar 2020
Book Format:
Paperback

Related Products

Popular Trending Products