JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Non-Fiction, Computing & Internet

Model Checking Software: 32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings

Vincenzo Ciancia (editor), Arnd Hartmanns (editor)

Paperback Published on: 29/10/2026

£49.99

No reviews yet, be the first

Free UK delivery on orders over £25

Coming soon
Published 29/10/2026

Make and edit your lists in your account

No stock available in any shop.

Coming soon
Published 29/10/2026

No stock available in any shop.

Synopsis

This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026.

The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions. The focus of the symposium was on symbolic and state space-based techniques for the validation and analysis of software systems.