£52.43

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

£52 today · previous high £52 · all-time low £52

Springer Principles of the Spin Model Checker

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£52.43 £49.80 £50.85 £51.90 £52.95 £54.00 £55.05 25 July 2026 28 July 2026 31 July 2026 03 August 2026 06 August 2026
View at Amazon ↗

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

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 13 days • 1 price levels

Days at Price
13 days 0 3 7 10 13 £52 Days at Price

Price Analysis

Most common price: £52 (13 days, 100.0%)

Price range: £52 - £52

Price levels: 1 different prices over 13 days

Description

This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching. Complete programs demonstrate each construct and concept and these programs are available on a companion website.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
08 January 2008
Listed Since
14 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Springer Spin: From Basic Symmetries to Quantum Optimal Control
95% match

Springer Spin: From Basic Symmetries to Quantum Optimal Control

Springer

£101.39 22 Oct 2026
Kinematical Theory of Spinning Particles: Classical and Quantum Mechanical Formalism of Elementary Particles: 116 (Fundamental Theories of Physics, 116)
94% match

Kinematical Theory of Spinning Particles: Classical and Quantum Mechanical Formalism of Elementary Particles: 116 (Fundamental Theories of Physics, 116)

Springer

£44.39 02 Oct 2026
Spintronics: A Primer
94% match

Spintronics: A Primer

CRC Press

£94.85 19 Aug 2026
Spinning Particles-Semiclassics and Spectral Statistics: 193 (Springer Tracts in Modern Physics, 193)
94% match

Spinning Particles-Semiclassics and Spectral Statistics: 193 (Springer Tracts in Modern Physics, 193)

Springer

£113.76 02 Oct 2026
Spin Dynamics in Confined Magnetic Structures I - Topics in Applied Physics
93% match

Spin Dynamics in Confined Magnetic Structures I - Topics in Applied Physics

Springer

£106.15 17 Oct 2026
Spin Dynamics in Confined Magnetic Structures I: 83 (Topics in Applied Physics, 83)
93% match

Spin Dynamics in Confined Magnetic Structures I: 83 (Topics in Applied Physics, 83)

Springer

£146.81 21 Aug 2026
Theoretical Tools for Spin Models in Magnetic Systems (IOP ebooks)
93% match

Theoretical Tools for Spin Models in Magnetic Systems (IOP ebooks)

£100.12 03 Oct 2026
Lectures on Spin Dynamics: The Theoretical Minimum
93% match

Lectures on Spin Dynamics: The Theoretical Minimum

Royal Society of Chemistry

£53.12 20 Oct 2026
The Spin: Poincaré Seminar 2007: 55 (Progress in Mathematical Physics, 55)
93% match

The Spin: Poincaré Seminar 2007: 55 (Progress in Mathematical Physics, 55)

Birkhauser

£82.31 30 Sep 2026
Electron Spin Interactions in Chemistry and Biology: Fundamentals, Methods, Reactions Mechanisms, Magnetic Phenomena, Structure Investigation (Biological and Medical Physics, Biomedical Engineering)
93% match

Electron Spin Interactions in Chemistry and Biology: Fundamentals, Methods, Reactions Mechanisms, Magnetic Phenomena, Structure Investigation (Biological and Medical Physics, Biomedical Engineering)

Springer

£71.08 23 Sep 2026
Spin: From Basic Symmetries to Quantum Optimal Control
93% match

Spin: From Basic Symmetries to Quantum Optimal Control

Springer

£128.30 04 Sep 2026
Spin Waves: Theory and Applications - Springer Physics Book
93% match

Spin Waves: Theory and Applications - Springer Physics Book

Springer

£128.31 20 Oct 2026
Spin Wave Confinement
93% match

Spin Wave Confinement

Taylor & Francis

£62.73 17 Oct 2026
High Energy Polarized Proton Beams: A Modern View - Springer Physics
93% match

High Energy Polarized Proton Beams: A Modern View - Springer Physics

Springer

£109.55 13 Oct 2026
Springer High Energy Polarized Proton Beams: A Modern View 218
93% match

Springer High Energy Polarized Proton Beams: A Modern View 218

Springer

£70.13 10 Oct 2026
Mapping Parent Hamiltonians: Quantum Hall States to Spin Chains
93% match

Mapping Parent Hamiltonians: Quantum Hall States to Spin Chains

Springer

£93.97 07 Aug 2026
The Spinorial Chessboard (Trieste Notes in Physics)
92% match

The Spinorial Chessboard (Trieste Notes in Physics)

Springer

£73.90 20 Oct 2026
Spin Ice: 197 - Frustrated Magnetism & Quantum Materials
92% match

Spin Ice: 197 - Frustrated Magnetism & Quantum Materials

Springer

£100.00 19 Oct 2026
Spin Exchange: Principles and Applications in Chemistry and Biology: 8 (Springer Series in Chemical Physics, 8)
92% match

Spin Exchange: Principles and Applications in Chemistry and Biology: 8 (Springer Series in Chemical Physics, 8)

Springer

£75.00 17 Oct 2026
Spin Dynamics in Confined Magnetic Structures II: 87 (Topics in Applied Physics, 87)
92% match

Spin Dynamics in Confined Magnetic Structures II: 87 (Topics in Applied Physics, 87)

Springer

£144.42 13 Oct 2026
Springer Spin Physics in Semiconductors - Series 157 Book
92% match

Springer Spin Physics in Semiconductors - Series 157 Book

Springer

£71.42 20 Aug 2026
Spin-Wave Theory and its Applications to Neutron Scattering and THz Spectroscopy (IOP Concise Physics)
92% match

Spin-Wave Theory and its Applications to Neutron Scattering and THz Spectroscopy (IOP Concise Physics)

Morgan & Claypool

£94.33 29 Sep 2026
Semiconductor Spintronics and Quantum Computation (NanoScience and Technology)
92% match

Semiconductor Spintronics and Quantum Computation (NanoScience and Technology)

Springer

£88.25 23 Sep 2026
The Wonder of Quantum Spin: 200 Years of Discovery in the Golden Era of Mathematics and Physics
92% match

The Wonder of Quantum Spin: 200 Years of Discovery in the Golden Era of Mathematics and Physics

Oxford University Press

£41.74 12 Sep 2026