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
Aspects of Art Forgery
$54.99
Software and Network Engineering
$109.99
Parametrisierte Spezifikation von Schaltkreisen
$69.99
Political Decision-Making in Switzerland
$119.99
WASSIM Computersimulation von Wasserversorgung und Abwasserentsorgung in Verdichtungsrumen
$49.99
Sportbiologie
$59.99
Bauforschung und ihr Beitrag zum Entwurf
$44.99
Hardware Acceleration of EDA Algorithms
$84.99
Asymptotic Properties of Permanental Sequences
$79.99
Organic Micropollutants in the Aquatic Environment
$39.99
Tafel zur Umrechnung der Raumprozente in Gewichtsprozente und der Gewichtsprozente in Raumprozente b
$54.99
Dynamiken von Lohnungleichheiten in Europa
$44.99
Dimensionen von Destandardisierung
$49.99
Erektile Dysfunktion
$44.99
Sprachwandel durch Computer
$49.99
Mountain Geoecology and Sustainable Development of the Tibetan Plateau
$129.00
Rapid Methods for Analysis of Biological Materials in the Environment
$54.99
Power and Money
$74.99
The Golden Dawns Nationalist Solution: Explaining the Rise of the Far Right in Greece
$99.99
Advances in Materials and Metallurgy
$169.99
Lexile Collection Intermediate Levels 120-490
$275.00
Risk-Pooling Essentials
$54.99
Religion and Politics in Post-Socialist Central and Southeastern Europe
$54.99
Die Krise des Staatsgedankens und die Grenzen der Staatsgewalt
$59.99
Entrepreneurship and Social Entrepreneurship in the MENA Region
$139.00
Computer Aided Virtual Manufacturing Using Creo Parametric
$69.99
Economic Doctrines in Latin America
$109.99
Governance for Development
$54.99
Das Treuhandgeschft der westdeutschen und amerikanischen Banken
$59.99
Riemann Surfaces, Theta Functions, and Abelian Automorphisms Groups
$29.99
FBL Klein-Vogelbach Functional Kinetics Behandlungstechniken
$29.99
The British Press and the Greek Crisis, 19431949
$109.00
Praxisorientiertes Online-Marketing
$44.99
Iron, Siderophores, and Plant Diseases
$54.99
Non-Western Global Theories of International Relations
$109.00
CR Submanifolds of Complex Projective Space
$39.99
Thermal Signatures of Heat Transfer Processes in the Earths Crust
$74.99
Psychosomatische Dermatologie
$44.99
Clinical Cases in Cardio-Oncology
$89.99
Die Informationsfunktion des Produktes
$59.99
