Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

Barcode: 09783031018060
Brand: Springer International Publishing
There are no offers for this product at this time.

More From Springer International Publishing

Electromagnetic Theory
Electromagnetic Theory
from £84.58
Smartphone-Based Real-Time Digital Signal Processing, Third Edition
Smartphone-Based Real-Time Digital Signal Processing, Third Edition
from £42.49
Circuit Analysis Laboratory Workbook
Circuit Analysis Laboratory Workbook
from £23.79
Customizable Computing
Customizable Computing
from £23.79
Symmetry Problems : The Navier-Stokes Problem
Symmetry Problems : The Navier-Stokes Problem
from £23.79
iRODS Primer 2 : Integrated Rule-Oriented Data System
iRODS Primer 2 : Integrated Rule-Oriented Data System
from £29.74
Information Communication
Information Communication
from £23.79
Argumentation Mining
Argumentation Mining
from £42.49
Speech Recognition Algorithms Using Weighted Finite-State Transducers
Speech Recognition Algorithms Using Weighted Finite-State Transducers
from £25.49
Disability Interactions : Creating Inclusive Innovations
Disability Interactions : Creating Inclusive Innovations
from £46.74
Fixed-Point Signal Processing
Fixed-Point Signal Processing
from £25.49
Answering Queries Using Views, Second Edition
Answering Queries Using Views, Second Edition
from £59.49
On Transactional Concurrency Control
On Transactional Concurrency Control
from £46.74
The Reaction Wheel Pendulum
The Reaction Wheel Pendulum
from £23.79
Regenerative Dentistry
Regenerative Dentistry
from £29.74
Digital Image Processing : An Algorithmic Introduction
Digital Image Processing : An Algorithmic Introduction
from £59.49
The Maximum Consensus Problem : Recent Algorithmic Advances
The Maximum Consensus Problem : Recent Algorithmic Advances
from £38.24
Automatic Text Simplification
Automatic Text Simplification
from £42.49
Die-stacking Architecture
Die-stacking Architecture
from £29.74
Data-Driven Personas
Data-Driven Personas
from £50.99

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Specification and Verification of Concurrent Systems
Specification and Verification of Concurrent Systems
from £38.24
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
from £61.20
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
from £61.20
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
from £59.49
Compositional Verification of Concurrent and Real-Time Systems
Compositional Verification of Concurrent and Real-Time Systems
from £76.08
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
from £48.89
Automated Design of Machine Learning and Search Algorithms
Automated Design of Machine Learning and Search Algorithms
from £108.79
A VLSI Architecture for Concurrent Data Structures
A VLSI Architecture for Concurrent Data Structures
from £110.08
Current Trends in Hardware Verification and Automated Theorem Proving
Current Trends in Hardware Verification and Automated Theorem Proving
from £76.08
The Search For Iraq's Weapons of Mass Destruction : Inspection, Verification and Non-Proliferation
The Search For Iraq's Weapons of Mass Destruction : Inspection, Verification and Non-Proliferation
from £76.08
New Methods of Concurrent Checking
New Methods of Concurrent Checking
from £76.08
Bombarded Britain: A Search For British Impact Structures
Bombarded Britain: A Search For British Impact Structures
from £30.40
Generating Abstraction Hierarchies : An Automated Approach to Reducing Search in Planning
Generating Abstraction Hierarchies : An Automated Approach to Reducing Search in Planning
from £110.08
Decidability of Parameterized Verification
Decidability of Parameterized Verification
from £33.99
Formal Verification of Circuits
Formal Verification of Circuits
from £110.08
Challenges of Software Verification
Challenges of Software Verification
from £110.08
Principles of Concurrent and Distributed Programming
Principles of Concurrent and Distributed Programming
from £71.99
Concurrent Urbanities : Designing Infrastructures of Inclusion
Concurrent Urbanities : Designing Infrastructures of Inclusion
from £48.59
Concurrent Urbanities : Designing Infrastructures of Inclusion
Concurrent Urbanities : Designing Infrastructures of Inclusion
from £48.59
Logics and Models of Concurrent Systems
Logics and Models of Concurrent Systems
from £76.08