Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes

Barcode: 09783540696780
Brand: Springer Berlin Heidelberg
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer Berlin Heidelberg

Dental Pathology : A Practical Introduction
Dental Pathology : A Practical Introduction
from £76.08
On Kolm's Theory of Macrojustice : A Pluridisciplinary Forum of Exchange
On Kolm's Theory of Macrojustice : A Pluridisciplinary Forum of Exchange
from £76.08
Arithmetical Investigations : Representation Theory, Orthogonal Polynomials, and Quantum Interpolations
Arithmetical Investigations : Representation Theory, Orthogonal Polynomials, and Quantum Interpolations
from £27.19
Synthesis of Heterocycles via Cycloadditions II
Synthesis of Heterocycles via Cycloadditions II
from £152.58
The Euro, Inflation and Consumers' Perceptions : Lessons from Italy
The Euro, Inflation and Consumers' Perceptions : Lessons from Italy
from £76.08
Synthesis of Heterocycles via Cycloadditions I
Synthesis of Heterocycles via Cycloadditions I
from £152.58
Tools and Criteria for Sustainable Coastal Ecosystem Management : Examples from the Baltic Sea and Other Aquatic Systems
Tools and Criteria for Sustainable Coastal Ecosystem Management : Examples from the Baltic Sea and Other Aquatic Systems
from £110.08
Multiscale Problems in the Life Sciences : From Microscopic to Macroscopic
Multiscale Problems in the Life Sciences : From Microscopic to Macroscopic
from £38.24
Andrology : Male Reproductive Health and Dysfunction
Andrology : Male Reproductive Health and Dysfunction
from £93.08
Orphan G Protein-Coupled Receptors and Novel Neuropeptides
Orphan G Protein-Coupled Receptors and Novel Neuropeptides
from £152.58
Bioinformatics and Systems Biology : Collaborative Research and Resources
Bioinformatics and Systems Biology : Collaborative Research and Resources
from £76.08
Photonic Crystals : Towards Nanoscale Photonic Devices
Photonic Crystals : Towards Nanoscale Photonic Devices
from £110.08
Mixed Finite Elements, Compatibility Conditions, and Applications : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 26 - July 1, 2006
Mixed Finite Elements, Compatibility Conditions, and Applications : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 26 - July 1, 2006
from £42.49
Usability of Speech Dialog Systems : Listening to the Target Audience
Usability of Speech Dialog Systems : Listening to the Target Audience
from £76.08
Multimodal User Interfaces : From Signals to Interaction
Multimodal User Interfaces : From Signals to Interaction
from £110.08
Mathematics of Fuzziness-Basic Issues
Mathematics of Fuzziness-Basic Issues
from £76.08
Portfolios of Real Options
Portfolios of Real Options
from £76.08
Hybrid Metaheuristics : An Emerging Approach to Optimization
Hybrid Metaheuristics : An Emerging Approach to Optimization
from £110.08
European Robotics Symposium 2008
European Robotics Symposium 2008
from £110.08
Intelligent Decision and Policy Making Support Systems
Intelligent Decision and Policy Making Support Systems
from £110.08

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
from £59.49
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
Sequential Logic Testing and Verification
Sequential Logic Testing and Verification
from £110.08
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
from £50.99
Effective Functional Verification : Principles and Processes
Effective Functional Verification : Principles and Processes
from £76.08
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
from £39.00
Kinetics of Heterogeneous Solid State Processes
Kinetics of Heterogeneous Solid State Processes
from £38.24
Formal System Verification : State-of the-Art and Future Trends
Formal System Verification : State-of the-Art and Future Trends
from £93.08
Infinite Processes : Background to Analysis
Infinite Processes : Background to Analysis
from £38.24
The Role of the State in Development Processes
The Role of the State in Development Processes
from £26.09
The Role of the State in Development Processes
The Role of the State in Development Processes
from £26.09
Principles of Verifiable RTL Design : A functional coding style supporting verification processes in Verilog
Principles of Verifiable RTL Design : A functional coding style supporting verification processes in Verilog
from £76.08
Principles of Verifiable RTL Design : A functional coding style supporting verification processes in Verilog
Principles of Verifiable RTL Design : A functional coding style supporting verification processes in Verilog
from £110.08
Automatic Control of Food Manufacturing Processes
Automatic Control of Food Manufacturing Processes
from £76.08
Progress In Automatic Signature Verification
Progress In Automatic Signature Verification
from £32.00
Sequential Optimization of Asynchronous and Synchronous Finite-State Machines : Algorithms and Tools
Sequential Optimization of Asynchronous and Synchronous Finite-State Machines : Algorithms and Tools
from £76.08
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
from £42.00
Interval Analysis : and Automatic Result Verification
Interval Analysis : and Automatic Result Verification
from £103.13
Interval Analysis : and Automatic Result Verification
Interval Analysis : and Automatic Result Verification
from £103.13