Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18???19, 2018, Revised Selected Papers : 11294 by Ruzica Piskac - Paperback

Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18???19, 2018, Revised Selected Papers : 11294 by Ruzica Piskac - Paperback

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

Product Description

ISBN: 9783030035914
TITLE: Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18???19, 2018, Revised Selected Papers : 11294
AUTHOR: Ruzica Piskac
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 24 Nov 2018

Other Details

ISBN:
9783030035914
Author:
Ruzica Piskac
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:24 Nov 2018
Book Format:
Paperback

Related Products

Popular Trending Products