Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers eBook
$59.99 Original price was: $59.99.$12.00Current price is: $12.00.
Publisher: Springer
Print ISBN: 9783319296128, 3319296124
eText ISBN: 9783319296135, 3319296132
Copyright year: 2016
Format: Reflowable
eText ISBN: 9783319296135
SKU: 9783319296135
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783319296128
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
Be the first to review “Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781440336683
$21.65 Original price was: $21.65.$13.34Current price is: $13.34.
-38%
Bestsellers
eText ISBN: 9781423207733
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9780133838497
$59.98 Original price was: $59.98.$36.95Current price is: $36.95.
-38%
eText ISBN: 9781466566330
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9783319242774
$59.98 Original price was: $59.98.$36.95Current price is: $36.95.
-38%
Bestsellers
eText ISBN: 9781423209584
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9780134527598
$64.98 Original price was: $64.98.$40.03Current price is: $40.03.
-38%
Bestsellers
eText ISBN: 9780203489802
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
Reviews
There are no reviews yet.