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

AED274.94

(0) Write a Review

SKU:: 9783319121536
UPC:: 9783319121536

Current Stock:

Product Description

ISBN: 9783319121536
TITLE: Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers : 8471
AUTHOR: Dimitra Giannakopoulou
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 28 Oct 2014

Other Details

ISBN:

9783319121536

Author:

Dimitra Giannakopoulou

Publisher:

Springer International Publishing AG

Publisher Date:

Published:28 Oct 2014

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

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

Product Description

Other Details

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

Write a Review

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

Add to Wishlist

Product Description

Other Details

Related Products

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