Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Best Price:
Buy Verification of Data-Aware Processes via Satisfiability Modulo Theories for $59.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$59.99 | $59.99 |
|
$59.99 | See Site | In stock | Visit Store |
Product Details
This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data. In 2022, the PhD dissertation won the BPM Dissertation Award, granted to outstanding PhD theses in the field of Business Process Management.
Reviews
Questions & Answers
The Fair Value of Insurance Liabilities
$219.99
Advanced Computational Methods for Knowledge Engineering
$219.99
Theta Invariants of Euclidean Lattices and Infinite-Dimensional Hermitian Vector Bundles over Arithm
$139.99
Machine Learning and Knowledge Extraction
$54.99
Automotive Software-Connected Services in Mobile Networks
$54.99
Nonstandard Analysis
$259.00
Diplomacy on the Jordan
$169.00
Applications in Finance, Investments, and Banking
$169.99
The HR Diagram
$219.99
Mobile Brokerage
$64.99
Pflanzenphysiologie
$49.95
Sparkly New Friends: An Acorn Book (Unicorn and Yeti #1)
$17.99
Why Would I Lie? (Hardcover)
$14.24
Layoutsynthese elektronischer Schaltungen - Grundlegende Algorithmen fr die Entwurfsautomatisierung
$44.99
Clusters and Particles
$39.99
Gaseous Dielectrics VIII
$169.00
Contact Mechanics in Tribology
$169.99
Cosmic Gamma-Ray Sources
$249.99
Einfhrung in die Physik der Molekeln
$49.99
Tala Learns to Siva (Hardcover)
$14.24
Ruptured Uterus
$54.99
Cloud Computing in Financial Services
$84.99
Die Praktische Frderung der Forschung in Nordrhein-Westfalen / Die Frderung der angewandten Forsch
$49.99
Designing E-Business Systems. Markets, Services, and Networks
$39.99
Computer Logic
$39.99
Medullary Thyroid Cancer
$129.99
Sporting Nationality in the Context of European Union Law
$54.99
Einfhrung in die Theorie der Algebraischen Zahlen und Funktionen
$49.99
The Moral Imagination of Patricia Werhane: A Festschrift
$79.99
Medialer Habitus und biographische Legende
$74.99
Hydrophilic Vitamins in Health and Disease
$169.99
A Primer of Subquasivariety Lattices
$79.99
Oxidative Stress and Cardiorespiratory Function
$109.99
Graphs and Matrices
$84.99
Patchwork-Jugend
$59.99
Transport Phenomena with Drops and Bubbles
$109.99
Elementary Numerical Mathematics for Programmers and Engineers
$39.99
Papier- und Zellstoff-Prfung
$59.99
Rock Properties and Reservoir Engineering: A Practical View
$99.99
Strategie und Technik des Automobilmarketing
$89.99
