£85.08

Springer Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

Sd-mo25

Price data last checked 58 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

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

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 History & Forecast

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

Last 33 days • 33 data points (No recent data available)

Historical
Generating forecast...
£85.08 £80.83 £82.53 £84.23 £85.93 £87.63 £89.33 11 March 2026 19 March 2026 27 March 2026 04 April 2026 12 April 2026

Price Distribution

Price distribution over 33 days • 1 price levels

Days at Price
33 days 0 8 17 25 33 £85 Days at Price

Price Analysis

Most common price: £85 (33 days, 100.0%)

Price range: £85 - £85

Price levels: 1 different prices over 33 days

Description

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

Key Features

MAIN MATERIAL: 100% Polyester & Coral Fleece

SIZE: 5' X 10'(150CM * 300CM)(59.1" X 118")

SUPER SOFT AND COMFORTABLE: This modern area rug is machine woven with breathable point plastic anti-slip bottom prevent the rug from sliding. Super soft comfortable and skin-friendly coral fleece Non Shedding promotes an incredibly soft feeling underfoot. Ensure safety and Good for your health .

EASY CLEAN AND DRYING FAST: Strong water absorption, easy-care and virtually non-shedding rug, It easy to clean and dry fast, very durable, non-slip and can machine washable. As a Portable rug, you can makes it easy to take outside to shake the dirt out, Or vacuum it with a low-power handheld vacuum. Machine Wash Method: wash the rug in cold water on gentle {delicate} short cycle then lay it flat to dry.

MULTI-FUNCTION & USE OCCASION: 100% Non-Toxic & Hypoallergenic and good for your health, The contemporary area rug adds the perfect modern touch to your space. That's timeless designs stand out in any room; Suitable for home decorate, children play, women yoga and pets carpet. Ensuring it will be a favorite for a long time.

Product Specifications

Colour
Sd-mo25
Size
5' X 10'
Format
paperback
Domain
Amazon UK
Release Date
10 November 2021
Listed Since
25 August 2020

Barcode

No barcode data available

Similar Products You Might Like

Medical Informatics and Bioimaging Using Artificial Intelligence: Challenges, Issues, Innovations and Recent Developments: 1005 (Studies in Computational Intelligence, 1005)
96% match

Medical Informatics and Bioimaging Using Artificial Intelligence: Challenges, Issues, Innovations and Recent Developments: 1005 (Studies in Computational Intelligence, 1005)

Springer

£135.77 15 Apr 2026
Martin Kneser Collected Works (Contemporary Mathematicians)
95% match

Martin Kneser Collected Works (Contemporary Mathematicians)

Birkhauser

£149.64 01 Feb 2026
Machine Learning in Industry (Management and Industrial Engineering)
95% match

Machine Learning in Industry (Management and Industrial Engineering)

Springer

£128.29 14 Jan 2026
Elliptic Carleman Estimates and Applications to Stabilization and Controllability, Volume I: Dirichlet Boundary Conditions on Euclidean Space: 97 ... Equations and Their Applications, 97)
95% match

Elliptic Carleman Estimates and Applications to Stabilization and Controllability, Volume I: Dirichlet Boundary Conditions on Euclidean Space: 97 ... Equations and Their Applications, 97)

Birkhauser

£65.25 20 Apr 2026
Women in Numbers Europe III: Research Directions in Number Theory: 24 (Association for Women in Mathematics Series, 24)
95% match

Women in Numbers Europe III: Research Directions in Number Theory: 24 (Association for Women in Mathematics Series, 24)

Springer

£52.52 04 Mar 2026
Representation Theory and Algebraic Geometry: A Conference Celebrating the Birthdays of Sasha Beilinson and Victor Ginzburg (Trends in Mathematics)
95% match

Representation Theory and Algebraic Geometry: A Conference Celebrating the Birthdays of Sasha Beilinson and Victor Ginzburg (Trends in Mathematics)

Birkhauser

£87.37 20 Apr 2026
Springer - Mathematical Argumentation, Justification, and Proof
95% match

Springer - Mathematical Argumentation, Justification, and Proof

Springer

£121.89 20 Apr 2026
Conflict and Resolution: The Ethics of Forgiveness, Revenge, and Punishment
95% match

Conflict and Resolution: The Ethics of Forgiveness, Revenge, and Punishment

Springer

£96.67 01 Mar 2026
Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)
95% match

Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)

Springer

£83.74 29 Mar 2026
World Atlas of Submarine Gas Hydrates in Continental Margins
95% match

World Atlas of Submarine Gas Hydrates in Continental Margins

Springer

£207.10 12 Feb 2026
Perturbed Semi-Markov Type Processes II: Ergodic Theorems for Multi-Alternating Regenerative Processes
95% match

Perturbed Semi-Markov Type Processes II: Ergodic Theorems for Multi-Alternating Regenerative Processes

Springer

£90.00 27 Feb 2026
Axiomatic Thinking I
95% match

Axiomatic Thinking I

Springer

£70.43 27 Feb 2026
Virtues from Hell: Survivors of Conflicts and the Reconstruction-Reconciliation Processes: 20 (Philosophy and Politics - Critical Explorations, 20)
95% match

Virtues from Hell: Survivors of Conflicts and the Reconstruction-Reconciliation Processes: 20 (Philosophy and Politics - Critical Explorations, 20)

Springer

£85.03 01 Mar 2026
The Sensory Modes of Animal Rhetorics: A Hoot in the Light (Palgrave Studies in Animals and Literature)
95% match

The Sensory Modes of Animal Rhetorics: A Hoot in the Light (Palgrave Studies in Animals and Literature)

MACMILLAN

£99.13 11 Feb 2026
The Regulation of Turkish Network Industries
95% match

The Regulation of Turkish Network Industries

Springer

£81.09 16 Apr 2026
Women in Commutative Algebra: Proceedings of the 2019 WICA Workshop: 29 (Association for Women in Mathematics Series, 29)
95% match

Women in Commutative Algebra: Proceedings of the 2019 WICA Workshop: 29 (Association for Women in Mathematics Series, 29)

Springer

£58.25 28 Feb 2026
Intellectual Capital and Organizational Performance: An Empirical Focus on Social Cooperative Enterprises (SIDREA Series in Accounting and Business Administration)
95% match

Intellectual Capital and Organizational Performance: An Empirical Focus on Social Cooperative Enterprises (SIDREA Series in Accounting and Business Administration)

Springer

£94.39 08 Mar 2026
Methods of Mathematical Modelling and Computation for Complex Systems: 373 (Studies in Systems, Decision and Control, 373)
95% match

Methods of Mathematical Modelling and Computation for Complex Systems: 373 (Studies in Systems, Decision and Control, 373)

Springer

£135.77 20 Apr 2026
Philosophical Hermeneutics and Islamic Thought: 10 (Contributions to Hermeneutics, 10)
95% match

Philosophical Hermeneutics and Islamic Thought: 10 (Contributions to Hermeneutics, 10)

Springer

£96.61 06 Jan 2026
Separable Optimization: Theory and Methods: 177 (Springer Optimization and Its Applications, 177)
95% match

Separable Optimization: Theory and Methods: 177 (Springer Optimization and Its Applications, 177)

Springer

£83.49 28 Feb 2026
Axiological Pluralism: Jurisdiction, Law-Making and Pluralisms: 92 (Ius Gentium: Comparative Perspectives on Law and Justice, 92)
95% match

Axiological Pluralism: Jurisdiction, Law-Making and Pluralisms: 92 (Ius Gentium: Comparative Perspectives on Law and Justice, 92)

Springer

£121.12 09 Jan 2026
Linear and Nonlinear Programming: 228 (International Series in Operations Research & Management Science, 228)
95% match

Linear and Nonlinear Programming: 228 (International Series in Operations Research & Management Science, 228)

Springer

£40.47 22 Jan 2026
Mathematics Education in a Neocolonial Country: The Case of Papua New Guinea (History of Mathematics Education)
95% match

Mathematics Education in a Neocolonial Country: The Case of Papua New Guinea (History of Mathematics Education)

Springer

£91.63 04 Mar 2026
MACMILLAN Economic Issues of Social Entrepreneurship Book
95% match

MACMILLAN Economic Issues of Social Entrepreneurship Book

MACMILLAN

£112.75 19 Apr 2026