Verified Software. Theories, Tools, and Experiments
Format: Paperback
ISBN13: 9783030035914
Paperback|9783030035914
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 2 offers from $58.73 FREE standard delivery by: 02 Apr 2026
Overview
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
| ISBN-13 | 9783030035914 |
|---|---|
| ISBN-10 | 3030035913 |
| Weight | 1.13 Pounds |
| Dimensions | 6.10 x 0.82 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xvi, 345 pages |
| Publisher | Springer |
| Published On | 2018-11-24 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Trade paperback (US). Glued binding. 345 p. Contains: Unspecified, Illustrations, black & white, I...
Free delivery by: 02 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 02 Apr 2026