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 (Coupon Required):
Buy Verification of Data-Aware Processes via Satisfiability Modulo Theories for $54.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$54.00 | 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
Android Application Development for the Intel Platform
$39.99
12th International Conference on Structural Engineering and Construction Management
$219.99
Methods in Democratic Network Governance
$109.99
Advances in Automation III
$229.00
Perspectives on Strategic Change
$189.00
Pediatric Critical Care Medicine
$179.99
Neue Subsidiaritt: Leitidee fr eine zuknftige Sozialpolitik?
$69.99
Platelets and Megakaryocytes
$89.00
Error Compensation for Industrial Robots
$139.99
Bone Marrow and Bone Tissue
$74.99
Symposium in Immunology I and II
$109.99
A Textbook of Robotics 1
$39.99
Das renale Kallikrein-Kinin-System
$69.99
Technologie und Wirtschaft der Seide
$84.99
Flexibles Rechnen im Grundschulverlauf
$44.99
Reviews of Environmental Contamination and Toxicology
$84.99
Deutschland Archiv
$49.99
Cancer Diagnostics
$219.99
Practical Mathematical Optimization
$39.99
Leitfaden der Technischen Mechanik
$49.99
Wie das Zebra zu seinen Streifen kommt
$49.99
Money, Banking and Financial Markets in Central and Eastern Europe
$109.99
Predictive Learning Control for Unknown Nonaffine Nonlinear Systems
$119.00
3D-TV System with Depth-Image-Based Rendering
$129.00
Legal Culture, Legality and the Determination of the Grounds of Judicial Review of Administrative Ac
$159.99
Long-Term Preservation of Digital Documents
$39.99
The Cerebrospinal Fluid
$219.99
100 Countries, 5,000 Ideas 2nd Edition - Where to Go, When to Go, What to See, What to Do by National Geographic
$29.99
Governing Future Emergencies
$54.99
The Dynamics of Complex Urban Systems
$109.99
Kleines Lehrbuch der Physik
$54.99
Psychoanalyse und Verbrechen
$64.99
Betriebsverrechnung in der chemischen Groindustrie
$59.99
Medicinal Plants and Fungi: Recent Advances in Research and Development
$329.99
An Introduction to Group Rings
$159.99
Mathematical Modeling, Simulation and Optimization for Power Engineering and Management
$84.99
Ordnungen, Verbnde und Relationen mit Anwendungen
$39.99
Physicochemical Behavior and Supramolecular Organization of Polymers
$109.99
The Politics of EU-China Economic Relations
$109.99
The Role of Nitric Oxide in Physiology and Pathophysiology
$39.99
