£50.40

About as cheap as it gets — within 5% of the all-time low it hit 2 months ago.

£50 today · all-time low £49 (Aug 2026) · usually £51

Saint Philip Street Press Computer Aided Verification

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£50.71 £49.05 £49.41 £49.77 £50.14 £50.50 £50.86 08 August 2026 26 August 2026 13 September 2026 01 October 2026 20 October 2026
View at Amazon ↗

Price data last checked 17 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 74 days • 3 price levels

Days at Price
Current Price
25 days 37 days · current 12 days · current 0 9 19 28 37 £49 £50 £51 Days at Price

Price Analysis

Most common price: £50 (37 days, 50.0%)

Price range: £49 - £51

Price levels: 3 different prices over 74 days

Description
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Product Specifications
Brand
Saint Philip Street Press
Format
paperback
ASIN
1013271009
Category
Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain
Amazon UK
Release Date
08 October 2020
Listed Since
15 April 2020

Barcode

No barcode data available

Similar Products You Might Like

NICKEL TITANIUM ROTARY INSTRUMENTS
98% match

NICKEL TITANIUM ROTARY INSTRUMENTS

LAP Lambert Academic Publishing

£66.00 15 Oct 2026
Evidence Based Teaching
98% match

Evidence Based Teaching

Society Publishing

£76.49 06 Oct 2026
Digital Encryption
98% match

Digital Encryption

Arcler Press

£114.49 10 Oct 2026
Computational Intelligence in Urban Infrastructure
98% match

Computational Intelligence in Urban Infrastructure

CRC Press

£49.95 05 Oct 2026
Green Communication with Field-programmable Gate Array for Sustainable Development
98% match

Green Communication with Field-programmable Gate Array for Sustainable Development

CRC Press

£131.21 08 Oct 2026
Intimate Animation - CRC Press Film Reference Guide
98% match

Intimate Animation - CRC Press Film Reference Guide

CRC Press

£138.44 06 Oct 2026
Social Cyber Engineering and Advanced Security Algorithms
98% match

Social Cyber Engineering and Advanced Security Algorithms

CRC Press

£111.70 10 Oct 2026
Springback Assessment and Compensation of Tailor Welded Blanks
98% match

Springback Assessment and Compensation of Tailor Welded Blanks

CRC Press

£121.79 08 Oct 2026
Thermal Spray Coatings - Engineering Reference Book
98% match

Thermal Spray Coatings - Engineering Reference Book

CRC Press

£104.00 06 Oct 2026
Modeling and Stability Analysis of Inverter-Based Resources
98% match

Modeling and Stability Analysis of Inverter-Based Resources

CRC Press

£103.60 07 Oct 2026
Reliability Modelling with Information Measures - CRC Press
98% match

Reliability Modelling with Information Measures - CRC Press

CRC Press

£124.04 08 Oct 2026
Nanostructured Photocatalysts
98% match

Nanostructured Photocatalysts

Arcler Press

£155.00 06 Oct 2026
CRC Press - Smart Technologies for a Sustainable Environment
98% match

CRC Press - Smart Technologies for a Sustainable Environment

CRC Press

£183.52 08 Oct 2026
Huang Yongyu at 100
98% match

Huang Yongyu at 100

CYPI PRESS

£150.00 08 Oct 2026
Urban Facility Management - CRC Press Architecture Book
98% match

Urban Facility Management - CRC Press Architecture Book

CRC Press

£142.94 06 Oct 2026
CRC Press - Quantitative Phase Field Modelling of Solidification
98% match

CRC Press - Quantitative Phase Field Modelling of Solidification

CRC Press

£99.76 03 Oct 2026
Machine Learning with oneAPI - CRC Press Book
98% match

Machine Learning with oneAPI - CRC Press Book

CRC Press

£126.49 03 Oct 2026
Advanced Cybersecurity Technologies - CRC Press
98% match

Advanced Cybersecurity Technologies - CRC Press

CRC Press

£110.79 05 Oct 2026
Remedial and Analytical Separation Processes
98% match

Remedial and Analytical Separation Processes

CRC Press

£119.34 06 Oct 2026
Human-Computer Interaction in Various Application Domains
98% match

Human-Computer Interaction in Various Application Domains

CRC Press

£116.42 05 Oct 2026
Pathways and Patterns in History
98% match

Pathways and Patterns in History

Wipf and Stock

£47.80 06 Oct 2026
Photonics Elements for Sensing and Optical Conversions
98% match

Photonics Elements for Sensing and Optical Conversions

CRC Press

£49.95 03 Oct 2026
Phase Change Materials for Energy Management - CRC Press
98% match

Phase Change Materials for Energy Management - CRC Press

CRC Press

£123.02 10 Oct 2026
Internet & Distributed Systems
98% match

Internet & Distributed Systems

Arcler Press

£76.89 05 Oct 2026