Systems and Software Verification: Model-Checking Techniques and Tools - Image 1

£116.92

Springer Systems and Software Verification: Model-Checking Techniques and Tools

Name: Systems and Software Verification: Model-Checking Techniques and Tools
Brand: Springer
Price: 116.92 GBP
Availability: InStock

biography

Mathematical Logic

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

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

Historical

Generating forecast…

Price Distribution

Price distribution over 66 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £117 (42 days, 63.6%)

Price range: £117 - £119

Price levels: 2 different prices over 66 days

Description

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

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

Springer Systems and Software Verification: Model-Checking Techniques and Tools

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

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

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

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

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

Skechers Women's Arch Fit 2.0 Easy Chic Slip-in Trainers, Navy Mesh/Turquoise Trim, 7.5 UK Wide

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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