£54.95

This is the most expensive it has ever been. Walk away.

£55 today · previous high £55 · all-time low £54

Saint Philip Street Press Tools and Algorithms for the Construction and Analysis of Systems

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£54.95 £54.15 £54.32 £54.50 £54.67 £54.85 £55.02 25 July 2026 10 August 2026 27 August 2026 12 September 2026 29 September 2026
View at Amazon ↗

Price data last checked 24 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 67 days • 2 price levels

Days at Price
Current Price
13 days 54 days · current 0 14 27 41 54 £54 £55 Days at Price

Price Analysis

Most common price: £55 (54 days, 80.6%)

Price range: £54 - £55

Price levels: 2 different prices over 67 days

Description
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. 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
101327718X
Category
Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain
Amazon UK
Release Date
09 October 2020
Listed Since
15 October 2020

Barcode

No barcode data available

Similar Products You Might Like

Advances in Intelligent Data Analysis XVIII
98% match

Advances in Intelligent Data Analysis XVIII

Saint Philip Street Press

£60.95 23 Sep 2026
Emerging Technologies and the Indian IT Sector
98% match

Emerging Technologies and the Indian IT Sector

CRC Press

£82.99 19 Sep 2026
Programacion en C++. Algoritmos
98% match

Programacion en C++. Algoritmos

McGraw-Hill Education

£82.47 11 Sep 2026
State-Of-The-Art Researches in New Technologies
98% match

State-Of-The-Art Researches in New Technologies

NY Research Press

£75.67 27 Sep 2026
Creative Design in Industry and Architecture
98% match

Creative Design in Industry and Architecture

Witpress

£105.00 01 Oct 2026
The Art of Algorithm Design
98% match

The Art of Algorithm Design

CRC Press

£106.00 22 Sep 2026
Governing New York State Through Crises
98% match

Governing New York State Through Crises

State University of New York Press

£78.19 17 Sep 2026
Philosophies of Technologies: Theory as Practice
98% match

Philosophies of Technologies: Theory as Practice

Wiley

£110.29 23 Sep 2026
Emerging Technologies in Computing: Theory, Practice, and Advances
98% match

Emerging Technologies in Computing: Theory, Practice, and Advances

CRC Press

£104.23 24 Sep 2026
Advanced Computational Techniques for Sustainable Computing
98% match

Advanced Computational Techniques for Sustainable Computing

CRC Press

£116.00 23 Sep 2026
Mathematics in Computational Science and Engineering
98% match

Mathematics in Computational Science and Engineering

Wiley

£157.99 19 Sep 2026
Smart Urban Computing Applications (River Publishers Series in Computing and Information Science and Technology)
98% match

Smart Urban Computing Applications (River Publishers Series in Computing and Information Science and Technology)

Taylor & Francis

£87.42 23 Sep 2026
Mathematical Tools In Signal Processing With C++ And Java Simulations
98% match

Mathematical Tools In Signal Processing With C++ And Java Simulations

World Scientific Publishing Company

£96.00 21 Sep 2026
Political Science: Institutions and Public Policy
98% match

Political Science: Institutions and Public Policy

KENDALL HUNT PUBLISHING

£116.70 24 Sep 2026
Political Science: Institutions and Public Policy
98% match

Political Science: Institutions and Public Policy

KENDALL HUNT PUBLISHING

£101.82 24 Sep 2026
Biomolecular Computation for Bionanotechnology
98% match

Biomolecular Computation for Bionanotechnology

Artech House

£91.35 22 Sep 2026
Computational and Experimental Studies
98% match

Computational and Experimental Studies

Witpress

£109.00 25 Sep 2026
Algorithmic Regimes: Methods, Interactions, and Politics (Digital Studies)
98% match

Algorithmic Regimes: Methods, Interactions, and Politics (Digital Studies)

Amsterdam University Press

£138.43 29 Sep 2026
Applied Informatics for Industry 4.0
98% match

Applied Informatics for Industry 4.0

CRC Press

£94.86 17 Sep 2026
Computational and Statistical Methods for Chemical Engineering
98% match

Computational and Statistical Methods for Chemical Engineering

CRC Press

£75.40 23 Sep 2026
Signals, Systems, and Transforms: United States Edition
98% match

Signals, Systems, and Transforms: United States Edition

PEARSON EDUCATION

£460.79 26 Sep 2026
98% match

Sys Analy&Phit Career Pk

PEARSON EDUCATION

Price unavailable
Signals and Systems for Engineers
98% match

Signals and Systems for Engineers

Wiley

£109.99 19 Sep 2026
Firms, Industries, Markets: Micro, Meso, and Macro Relationships in the Economics of Complexity
98% match

Firms, Industries, Markets: Micro, Meso, and Macro Relationships in the Economics of Complexity

MACMILLAN

£107.29 19 Sep 2026