£50.77

Springer Principles of the Spin Model Checker

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

View at Amazon

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

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

£51 today · previous high £51 · all-time low £49

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 44 days · 44 data points (no recent data)

Historical
Generating forecast…
£50.77 £48.94 £49.34 £49.74 £50.14 £50.54 £50.94 14 April 2026 24 April 2026 05 May 2026 16 May 2026 27 May 2026

Price Distribution

Price distribution over 44 days • 2 price levels

Days at Price
Current Price
34 days 10 days · current 0 9 17 26 34 £49 £50 Days at Price

Price Analysis

Most common price: £49 (34 days, 77.3%)

Price range: £49 - £50

Price levels: 2 different prices over 44 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

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

Spin: From Basic Symmetries to Quantum Optimal Control

Springer

£117.08 21 May 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.82 18 Apr 2026
Spintronics: A Primer
94% match

Spintronics: A Primer

CRC Press

£73.62 16 Jun 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

£107.73 15 Apr 2026
Springer Spin Dynamics in Confined Magnetic Structures I: 83
93% match

Springer Spin Dynamics in Confined Magnetic Structures I: 83

Springer

£137.00 11 May 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 18 Jun 2026
Theoretical Tools for Spin Models in Magnetic Systems (IOP ebooks)
93% match

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

£99.72 21 Apr 2026
Lectures on Spin Dynamics: The Theoretical Minimum
93% match

Lectures on Spin Dynamics: The Theoretical Minimum

Royal Society of Chemistry

£53.08 16 May 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

£84.63 11 Apr 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 09 Jul 2026
Spin: From Basic Symmetries to Quantum Optimal Control
93% match

Spin: From Basic Symmetries to Quantum Optimal Control

Springer

£128.30 26 Jun 2026
SPIN® -Selling
93% match

SPIN® -Selling

Routledge

£167.45 02 Jun 2026
Springer - Spin Waves: Theory and Applications Book
93% match

Springer - Spin Waves: Theory and Applications Book

Springer

£123.47 17 May 2026
Spin Wave Confinement
93% match

Spin Wave Confinement

Taylor & Francis

£53.51 11 May 2026
Briggs & Riley Spinner, Navy, 16-inch Baseline Cabin Bag, Cabin Spinner
93% match

Briggs & Riley Spinner, Navy, 16-inch Baseline Cabin Bag, Cabin Spinner

Briggs & Riley

£419.00 10 Jun 2026
Springer High Energy Polarized Proton Beams: A Modern View 218
93% match

Springer High Energy Polarized Proton Beams: A Modern View 218

Springer

£107.98 05 May 2026
Springer High Energy Polarized Proton Beams: A Modern View 218
93% match

Springer High Energy Polarized Proton Beams: A Modern View 218

Springer

£69.67 02 May 2026
Springer Mapping of Parent Hamiltonians - Physics Monograph 244
93% match

Springer Mapping of Parent Hamiltonians - Physics Monograph 244

Springer

£93.97 01 Jun 2026
Relaxdays Set of 24 Spinning Tops, Wooden Toys for Children, Party Bag Favours, Boys & Girls, Birthday, Multicoloured, Wood, 4.5 x 4 x 4 cm
92% match

Relaxdays Set of 24 Spinning Tops, Wooden Toys for Children, Party Bag Favours, Boys & Girls, Birthday, Multicoloured, Wood, 4.5 x 4 x 4 cm

Relaxdays

£44.90 11 May 2026
The Spinorial Chessboard (Trieste Notes in Physics)
92% match

The Spinorial Chessboard (Trieste Notes in Physics)

Springer

£72.93 16 May 2026
Springer Spin Ice: 197 - Springer Series in Solid-State Sciences
92% match

Springer Spin Ice: 197 - Springer Series in Solid-State Sciences

Springer

£111.29 12 May 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

£74.96 10 May 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.59 06 May 2026
Bizak Spinner Mad 2 Battle Sands, Fighting Game with Spinning Tops and Sand, for Boys and Girls from 5 Years, Guaranteed Fun (62006306)
92% match

Bizak Spinner Mad 2 Battle Sands, Fighting Game with Spinning Tops and Sand, for Boys and Girls from 5 Years, Guaranteed Fun (62006306)

Bizak

£47.49 17 Jun 2026