Verification of Data-Aware Processes via Satisfiability Modulo Theories

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Barcode: 09783031427466
Brand: Springer Nature Switzerland
There are no offers for this product at this time.

More From Springer Nature Switzerland

Silicon Components and Processes Self Study : Field-Effect Transistors
Silicon Components and Processes Self Study : Field-Effect Transistors
from £76.49
Operations Research and Management : Quantitative Methods for Planning and Decision-Making in Business and Economics
Operations Research and Management : Quantitative Methods for Planning and Decision-Making in Business and Economics
from £76.08
Exploring University Mathematics with Python
Exploring University Mathematics with Python
from £55.24
Advocacy Group Effects in Global Governance : Populations, Strategies, and Political Opportunity Structures
Advocacy Group Effects in Global Governance : Populations, Strategies, and Political Opportunity Structures
from £93.49
Russia's Role in World Politics : Power, Ideas, and Domestic Influences
Russia's Role in World Politics : Power, Ideas, and Domestic Influences
from £93.08
Generative Methods for Social Media Analysis
Generative Methods for Social Media Analysis
from £33.99
Critical Adult Education in Food Movements
Critical Adult Education in Food Movements
from £93.08
The Economics of Books and Reading
The Economics of Books and Reading
from £84.58
Applied Text Mining
Applied Text Mining
from £55.24
Progress in Continuum Mechanics
Progress in Continuum Mechanics
from £93.49
The Theory of Epistemic Fields : Fuzzy-Semantic Foundations of Intellectual Categories and Knowledge Factories
The Theory of Epistemic Fields : Fuzzy-Semantic Foundations of Intellectual Categories and Knowledge Factories
from £118.99
Oscillators and Oscillatory Signals from Smooth to Discontinuous : Geometrical, Algebraic, and Physical Nature
Oscillators and Oscillatory Signals from Smooth to Discontinuous : Geometrical, Algebraic, and Physical Nature
from £118.99
Interest Groups in U.S. Local Politics
Interest Groups in U.S. Local Politics
from £84.99
Software Engineering for Games in Serious Contexts : Theories, Methods, Tools, and Experiences
Software Engineering for Games in Serious Contexts : Theories, Methods, Tools, and Experiences
from £118.99
Concentration and Gaussian Approximation for Randomized Sums
Concentration and Gaussian Approximation for Randomized Sums
from £110.49
The Little Book of Math into English
The Little Book of Math into English
from £76.49
A Course on Holomorphic Discs
A Course on Holomorphic Discs
from £38.24
D-Finite Functions
D-Finite Functions
from £50.99
Place and Time in Argumentation
Place and Time in Argumentation
from £84.58
Philosophical Investigations into the Essence of Pediatric Suffering
Philosophical Investigations into the Essence of Pediatric Suffering
from £42.49

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
from £38.24
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
from £73.94
Ergodicity of Markov Processes via Nonstandard Analysis
Ergodicity of Markov Processes via Nonstandard Analysis
from £76.50
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
from £39.00
Effective Functional Verification : Principles and Processes
Effective Functional Verification : Principles and Processes
from £76.08
HANDBOOK OF SATISFIABILITY
HANDBOOK OF SATISFIABILITY
from £180.00
The Processes and Theories of the Smart City
The Processes and Theories of the Smart City
from £76.49
Iteration Theories : The Equational Logic of Iterative Processes
Iteration Theories : The Equational Logic of Iterative Processes
from £76.08
Revisiting Nationalism : Theories and Processes
Revisiting Nationalism : Theories and Processes
from £38.24
Data-Driven Optimization of Manufacturing Processes
Data-Driven Optimization of Manufacturing Processes
from £191.25
Being Aware of Being Aware
Being Aware of Being Aware
from £9.91
Being Aware of Being Aware
Being Aware of Being Aware
from £9.91
Epistemic Foundations of Fuzziness : Unified Theories on Decision-Choice Processes
Epistemic Foundations of Fuzziness : Unified Theories on Decision-Choice Processes
from £110.08
Confrontation of Cosmological Theories with Observational Data
Confrontation of Cosmological Theories with Observational Data
from £38.24
Gene Network Inference : Verification of Methods for Systems Genetics Data
Gene Network Inference : Verification of Methods for Systems Genetics Data
from £110.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 £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
Summary of Rupert Spira's Being Aware of Being Aware
Summary of Rupert Spira's Being Aware of Being Aware
from £2.99
Communication in Family Contexts : Theories and Processes
Communication in Family Contexts : Theories and Processes
from £59.46
Communication in Family Contexts : Theories and Processes
Communication in Family Contexts : Theories and Processes
from £62.01