Home
Antiques & Collectibles
General
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers : 10712 by Andrei Paskevich - Paperback

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers : 10712 by Andrei Paskevich - Paperback

AED303.69

(0) Write a Review

SKU:: 9783319723075
UPC:: 9783319723075

Current Stock:

Product Description

ISBN: 9783319723075
TITLE: Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers : 10712
AUTHOR: Andrei Paskevich
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 15 Dec 2017

Other Details

ISBN:

9783319723075

Author:

Andrei Paskevich

Publisher:

Springer International Publishing AG

Publisher Date:

Published:15 Dec 2017

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers : 10712 by Andrei Paskevich - Paperback

Product Description

Other Details

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 : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers : 8471 by Dimitra Giannakopoulou - 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

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 : 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 : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers : 10712 by Andrei Paskevich - Paperback

Write a Review

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers : 10712 by Andrei Paskevich - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

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 : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers : 8471 by Dimitra Giannakopoulou - 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

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 : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers : 9593 by Arie Gurfinkel - Paperback