Verification of Data-Aware Processes via Satisfiability Modulo Theories - Alessandro Gianola
- Format: Broché Voir le descriptif
109,42 €
Produit Neuf
Ou 27,36 € /mois
- Livraison : 3,99 €
- Livré entre le 28 août et le 3 septembre
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Verification Of Data - Aware Processes Via Satisfiability Modulo Theories de Alessandro Gianola Format Broché - Livre Économie
0 avis sur Verification Of Data - Aware Processes Via Satisfiability Modulo Theories de Alessandro Gianola Format Broché - Livre Économie
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
Investments
Neuf dès 106,09 €
-
Beyond Fantasy : The Art Of Darrell K. Sweet
Occasion dès 100,00 €
-
Fix-It Phonics - Level 3 - Student Pack (2nd Edition)
Neuf dès 59,72 €
-
Warhammer Invasion: Bleeding Sun Battle Pack
Neuf dès 55,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 73,91 €
Occasion dès 117,61 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
Remembering The Kanji Vol.I
Neuf dès 109,82 €
-
Hollywood Costume Design
Occasion dès 161,01 €
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
Design For Motion
Neuf dès 104,46 €
-
Ellen Von Unwerth: Revenge
1 avis
Neuf dès 56,17 €
-
Le Jardin Parfumé
Occasion dès 55,50 €
-
Car Racing 1971
Neuf dès 129,00 €
-
Méthode Assimil Espagnol 4cd Et 1 Livre
Occasion dès 56,00 €
-
No Time To Die: The Making Of The Film
Neuf dès 59,98 €
-
Columbo Under Glass - A Critical Analysis Of The Cases, Clues And Character Of The Good Lieutenant (Hardback)
Neuf dès 64,74 €
-
Inorganic Chemistry
Occasion dès 76,13 €
Produits similaires
Présentation Verification Of Data - Aware Processes Via Satisfiability Modulo Theories de Alessandro Gianola Format Broché
- Livre Économie
Résumé :
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.
Biographie:
1.1 Overview.- ...
Sommaire:
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. ...
Détails de conformité du produit
Personne responsable dans l'UE