£102.10

Springer Handbook of Model Checking

Name: Handbook of Model Checking
Brand: Springer
Price: 102.1 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 1 year ago.

£102 today · all-time low £100 (Feb 2025) · usually the usual

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

Historical

Generating forecast...

Price Distribution

Price distribution over 622 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £103 (418 days, 67.2%)

Price range: £100 - £103

Price levels: 4 different prices over 622 days

Description

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3319105744
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 28 May 2016
Listed Since: 24 July 2014

Barcode

No barcode data available

Springer Handbook of Model Checking

About as cheap as it gets. The only time it was cheaper was 1 year ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Systems and Software Verification: Model-Checking Techniques and Tools

Model Checking (Cyber Physical Systems Series)

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods for Industrial Critical Systems: A Survey of Applications

Temporal Verification of Reactive Systems: Safety

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Springer - Formal Methods and Models for System Design Book

Springer - Specification and Verification of Multi-agent Systems

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Real-Time Systems: Scheduling, Analysis, and Verification

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Modeling Companion for Software Practitioners

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)