£116.92

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

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

Springer Systems and Software Verification Model-Checking Book

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£116.94 £116.92 £116.92 £116.93 £116.93 £116.94 £116.94 25 July 2026 30 July 2026 04 August 2026 09 August 2026 14 August 2026
View at Amazon ↗

biography

Price data last checked 70 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 21 days • 1 price levels

Days at Price
21 days 0 5 11 16 21 £117 Days at Price

Price Analysis

Most common price: £117 (21 days, 100.0%)

Price range: £117 - £117

Price levels: 1 different prices over 21 days

Description
Explore the fundamentals of formal software verification with Systems and Software Verification: Model-Checking Techniques and Tools by Springer. This book introduces model checking as a powerful method to provide complete proofs of correctness or identify errors through counter-examples. Readers will gain a foundational understanding of the theoretical basis of this technique. The text covers transition systems as formal models, temporal logic as a language for behavioral properties, and various model-checking algorithms. Additionally, it provides guidance on writing structured temporal logic specifications. This resource is ideal for those studying mathematical logic and the mathematical foundations of system verification.

Key Features

This Springer publication provides a basic introduction to the powerful technique of model checking for software verification.

The text covers transition systems as a formal model and temporal logic as a formal language for behavioral properties.

Learn to use model-checking algorithms to provide proofs of correctness or identify system errors via counter-examples.

The book includes instructions on how to write rich and structured temporal logic specifications.

Each copy is in new, mint condition and arrives with guaranteed packaging to ensure quality.

Orders received before 12 noon are dispatched the same day for fast delivery.

Product Specifications
Brand
Springer
Model
biography
Format
hardcover
ASIN
3540415238
Category
Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain
Amazon UK
Release Date
20 June 2001
Listed Since
12 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Tommy Hilfiger Women's Casual Leather Cupsole Trainers, White (White/Earth Sage), 2.5
93% match

Tommy Hilfiger Women's Casual Leather Cupsole Trainers, White (White/Earth Sage), 2.5

Tommy Hilfiger

£53.71 30 Sep 2026
Tommy Jeans Women Vulcanised Trainers, Pink (Soothing Pink), 41 EU
93% match

Tommy Jeans Women Vulcanised Trainers, Pink (Soothing Pink), 41 EU

Tommy Hilfiger

£55.22 03 Oct 2026
Tommy Hilfiger Men’s Vulcanised Trainers, Black (Black/Black), 5.5
93% match

Tommy Hilfiger Men’s Vulcanised Trainers, Black (Black/Black), 5.5

Tommy Hilfiger

£42.00 06 Oct 2026
Tommy Hilfiger Women’s Essential Chic Court Leather Cupsole Trainers, Black (Black), 7
93% match

Tommy Hilfiger Women’s Essential Chic Court Leather Cupsole Trainers, Black (Black), 7

Tommy Hilfiger

£77.00 21 Sep 2026
Skechers Women's Arch Fit 2.0 Easy Chic, Navy, 3.5 UK Wide
92% match

Skechers Women's Arch Fit 2.0 Easy Chic, Navy, 3.5 UK Wide

Skechers

£73.99 07 Sep 2026
Skechers Women's Arch Fit 2.0 Easy Chic, Navy, 7.5 UK Wide
92% match

Skechers Women's Arch Fit 2.0 Easy Chic, Navy, 7.5 UK Wide

Skechers

Price unavailable
Skechers Women's Hands Free Slip-ins Go Walk 6-Lovely Day Sneaker, Gray/Lavender, 8.5
92% match

Skechers Women's Hands Free Slip-ins Go Walk 6-Lovely Day Sneaker, Gray/Lavender, 8.5

Skechers

£96.89 09 Oct 2026
Tommy Hilfiger Women's Essential Cupsole Trainers, Multicolor (Red/White/Blue), 3.5
92% match

Tommy Hilfiger Women's Essential Cupsole Trainers, Multicolor (Red/White/Blue), 3.5

Tommy Hilfiger

£63.00 07 Oct 2026
Skechers Women's Arch Fit Easy Chic Trainer, Black, 6.5 UK
92% match

Skechers Women's Arch Fit Easy Chic Trainer, Black, 6.5 UK

Skechers

£134.00 01 Sep 2026
Tommy Hilfiger Men’s Modern Knit Cupsole Trainers with Logo Print, White (White), 7
92% match

Tommy Hilfiger Men’s Modern Knit Cupsole Trainers with Logo Print, White (White), 7

Tommy Hilfiger

£40.34 03 Oct 2026
Skechers Women's Hands Free Slip-ins Go Walk 6-Lovely Day Sneaker, Off-White, 7.5
92% match

Skechers Women's Hands Free Slip-ins Go Walk 6-Lovely Day Sneaker, Off-White, 7.5

Skechers

Price unavailable
Skechers Women's Hands Free Slip-ins Go Walk 6-Lovely Day Sneaker, Navy Blue, 6.5 UK
92% match

Skechers Women's Hands Free Slip-ins Go Walk 6-Lovely Day Sneaker, Navy Blue, 6.5 UK

Skechers

Price unavailable
Skechers Women's Arch Fit Easy Chic Trainer, Black, 8 UK
92% match

Skechers Women's Arch Fit Easy Chic Trainer, Black, 8 UK

Skechers

£82.99 20 Aug 2026
Skechers Women's Arch Fit Easy Chic Trainer, Black, 5 UK
92% match

Skechers Women's Arch Fit Easy Chic Trainer, Black, 5 UK

Skechers

£83.49 26 Aug 2026
Skechers Women's Hands Free Slip-ins Go Walk 6-Lovely Day Sneaker, Black, 9
92% match

Skechers Women's Hands Free Slip-ins Go Walk 6-Lovely Day Sneaker, Black, 9

Skechers

£123.73 30 Sep 2026
Rieker Mens Tex Wide Fitting Casual Shoes 03601-22 - Brown Suede Leather - UK Size 9.5 - EU Size 44 - US Size 10.5
92% match

Rieker Mens Tex Wide Fitting Casual Shoes 03601-22 - Brown Suede Leather - UK Size 9.5 - EU Size 44 - US Size 10.5

Rieker

£39.99 08 Oct 2026
Tommy Hilfiger Women's Essential Cupsole Trainers, Multicolor (Red/White/Blue), 4
92% match

Tommy Hilfiger Women's Essential Cupsole Trainers, Multicolor (Red/White/Blue), 4

Tommy Hilfiger

£45.44 30 Sep 2026
Tommy Hilfiger Men’s Modern Knit Cupsole Trainers with Logo Print, Blue (Desert Sky), 11
92% match

Tommy Hilfiger Men’s Modern Knit Cupsole Trainers with Logo Print, Blue (Desert Sky), 11

Tommy Hilfiger

£60.67 02 Oct 2026
Skechers Women's Arch Fit Easy Chic Trainer, Black, 6 UK
92% match

Skechers Women's Arch Fit Easy Chic Trainer, Black, 6 UK

Skechers

£84.99 21 Oct 2026
Skechers Women's Arch Fit 2.0 Easy Chic Slip-On Sneakers, Blue Mesh/Lime Trim, 6.5 UK
92% match

Skechers Women's Arch Fit 2.0 Easy Chic Slip-On Sneakers, Blue Mesh/Lime Trim, 6.5 UK

Skechers

£72.99 18 Aug 2026
Tommy Hilfiger Men’s Modern Knit Cupsole Trainers with Logo Print, White (White), 10
92% match

Tommy Hilfiger Men’s Modern Knit Cupsole Trainers with Logo Print, White (White), 10

Tommy Hilfiger

Price unavailable
Skechers Women's Arch Fit 2.0 Easy Chic, Navy, 5 UK Wide
92% match

Skechers Women's Arch Fit 2.0 Easy Chic, Navy, 5 UK Wide

Skechers

£84.42 04 Sep 2026
Skechers Women's Arch Fit Easy Chic Trainer, Black, 4.5 UK
92% match

Skechers Women's Arch Fit Easy Chic Trainer, Black, 4.5 UK

Skechers

£80.57 02 Sep 2026
Skechers Women's Max Cushioning Arch Fit 2.0 Avenida Sneaker, Black Textile/Pink Trim, 4.5 UK
92% match

Skechers Women's Max Cushioning Arch Fit 2.0 Avenida Sneaker, Black Textile/Pink Trim, 4.5 UK

Skechers

Price unavailable