Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers : 9971 by Sandrine Blazy - Paperback

Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers : 9971 by Sandrine Blazy - Paperback

AED620.00
(0) Write a Review
SKU:
9783319488707
UPC:
9783319488707

Product Description

ISBN: 9783319488707
TITLE: Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers : 9971
AUTHOR: Sandrine Blazy
PUBLISHER: Springer International Publishing
PUBLISHER DATE: 11 Nov 2016

Other Details

ISBN:
9783319488707
Author:
Sandrine Blazy
Publisher:
Springer International Publishing
Publisher Date:
Published:11 Nov 2016
Book Format:
Paperback

Related Products

Popular Trending Products