We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£102.10
Springer Handbook of Model Checking
Price data last checked 64 day(s) ago - refreshing...
Price History & Forecast
Last 27 days • 27 data points (No recent data available)
Price Distribution
Price distribution over 27 days • 1 price levels
Price Analysis
Most common price: £102 (27 days, 100.0%)
Price range: £102 - £102
Price levels: 1 different prices over 27 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
Similar Products You Might Like
100% match
Handbook of Model Checking
Springer
£112.53
09 Dec 2025
95% match
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
£118.59
10 Jan 2026
93% match
Principles of Model Checking
MIT Press
£65.00
09 Dec 2025
93% match
Model Checking (Cyber Physical Systems Series)
MIT Press
£62.00
14 Jan 2026
93% match
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Springer
£60.27
15 Feb 2026
92% match
Springer - Specification and Verification of Multi-agent Systems
Springer
£113.97
20 Apr 2026
92% match
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Springer
£66.21
25 Feb 2026
92% match
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
£63.14
24 Feb 2026
92% match
Computation Engineering: Applied Automata Theory and Logic
Springer
£28.99
25 Feb 2026
92% match
Formal System Verification: State-of the-Art and Future Trends
Springer
£89.13
11 Jan 2026
92% match
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£71.74
26 Feb 2026
92% match
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
£85.99
08 Mar 2026
92% match
Handbook of Dynamic System Modeling (Chapman & Hall/CRC Computer and Information Science)
CRC Press
£173.72
09 Mar 2026
92% match
Scalable Hardware Verification with Symbolic Simulation
Springer
£57.40
23 Feb 2026
91% match
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
£86.32
09 Mar 2026
91% match
Writing Testbenches using SystemVerilog
Springer
£155.97
20 Jan 2026
91% match
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
£59.19
11 Feb 2026
91% match
Handbook of Research on Modeling, Analysis, and Control of Complex Systems (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
£269.55
13 Jan 2026
91% match
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Springer
£111.90
25 Feb 2026
91% match
Testing and Validation of Computer Simulation Models: Principles, Methods and Applications (Simulation Foundations, Methods and Applications)
Springer
£50.59
21 Feb 2026
91% match
Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)
Princeton University Press
£99.00
04 Apr 2026
91% match
Springer - Formal Methods and Models for System Design Book
Springer
£104.85
18 Apr 2026
91% match
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£42.05
17 Feb 2026
91% match
Formal Methods for Industrial Critical Systems: A Survey of Applications
John Wiley & Sons Inc
£73.19
28 Feb 2026