Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Lecture Notes in Computer Science Book 11294) 1st ed. 2018 Edition, Kindle Edition
Product details
| Management number | 222470182 | Release Date | 2026/05/04 | List Price | US$22.00 | Model Number | 222470182 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| XRay | Not Enabled |
|---|---|
| ISBN13 | 978-3030035921 |
| Edition | 1st ed. 2018 |
| Language | English |
| File size | 55.3 MB |
| Page Flip | Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 366 pages |
| Accessibility | Learn more |
| Screen Reader | Supported |
| Publication date | November 23, 2018 |
| Enhanced typesetting | Enabled |
Bestseller ranking
Tennis
Customers who viewed this product also viewed
Refurbished Xbox Consoles
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form