Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers : 9593 by Arie Gurfinkel - Paperback

Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers : 9593 by Arie Gurfinkel - Paperback

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

Product Description

ISBN: 9783319296128
TITLE: Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers : 9593
AUTHOR: Arie Gurfinkel
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 29 Jan 2016

Other Details

ISBN:
9783319296128
Author:
Arie Gurfinkel
Publisher:
Springer International Publishing AG
Publisher Date:
Published:29 Jan 2016
Book Format:
Paperback

Related Products

Popular Trending Products