£19.90

It has never been this cheap. We have no record of a lower price.

£20 today · cheaper than every other day in the last 3 months

Springer Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 69 days · 69 data points (no recent data)

Historical
Generating forecast…
£41.43 £17.75 £22.91 £28.08 £33.25 £38.42 £43.58 25 July 2026 11 August 2026 28 August 2026 14 September 2026 01 October 2026
View at Amazon ↗

Price data last checked 22 day(s) ago - will refresh soon

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 69 days • 2 price levels

Days at Price
Current Price
1 day · current 68 days 0 17 34 51 68 £20 £41 Days at Price

Price Analysis

Most common price: £41 (68 days, 98.6%)

Price range: £20 - £41

Price levels: 2 different prices over 69 days

Description

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 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.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
15 December 2017
Listed Since
09 November 2017

Barcode

No barcode data available