Principles of the Spin Model Checker - Image 1

£46.42

Springer Principles of the Spin Model Checker

Name: Principles of the Spin Model Checker
Brand: Springer
Price: 46.42 GBP
Availability: InStock

Operating Systems

Same price for 18 weeks. Today is much like next week.

£46 for 129 days straight · last change was Oct 2025

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 627 days • 627 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 627 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £46 (499 days, 79.6%)

Price range: £20 - £55

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

Brand: Springer
Format: Paperback
ASIN: 1846287693
Category: Books > Subjects > Computing & Internet > Computer Science > Operating Systems
Domain: Amazon UK
Release Date: 08 January 2008
Listed Since: 14 December 2006

Barcode

No barcode data available

Springer Principles of the Spin Model Checker

Same price for 18 weeks. Today is much like next week.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Spintronics: A Primer

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

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

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

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

Spin: From Basic Symmetries to Quantum Optimal Control

SPIN® -Selling

Springer Mapping of Parent Hamiltonians - Physics Monograph 244

Spin Physics in Semiconductors: 157 (Springer Series in Solid-State Sciences, 157)

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

Semiconductor Spintronics and Quantum Computation (NanoScience and Technology)

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

A Study on Spin Mechanics Phenomena in Spin-Lattice Coupled Systems (Springer Theses)

SPIN STRUCTURE OF THE PROTON, THE