Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih.
Ustvarite brezplačen račun
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 €
Zbirna točka DPD 2.99 €
Kurirska služba GLS 5.49 €
Kurir DPD 3.49 €
Kurirska služba Express One 3.49 €
Zbirno mesto Express One 3.49 €
Zbirno mesto Pošte Slovenije 3.49 €
Dostava preko Pošte Slovenije 3.49 €
Kontakt
Kako nakupovati
Pomoč
Dostava
Zbirna točka GLS 4.49 €
Zbirna točka DPD 2.99 €
Kurirska služba GLS 5.49 €
Kurir DPD 3.49 €
Kurirska služba Express One 3.49 €
Zbirno mesto Express One 3.49 €
Zbirno mesto Pošte Slovenije 3.49 €
Dostava preko Pošte Slovenije 3.49 €
Brezplačna dostava Zásilkovna nad 69.99 €
Svetovalec pri nakupu
Moj račun
▸
Prazna :-(
0
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Jezik
Angleščina
Angleščina
Knjiga
Mehka
This book is a revised version of the PhD dissertation written by the author at the University of Bo...
Celoten opis
Koda Libristo: 43829848
?
156 b
156 b
64.59
€
Na zalogi pri dobavitelju
Odposlali bomo v 5-8 dneh
Do 30 dni za vračilo
This book is a revised version of the PhD dissertation written by the author at the 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.
Igralka
&
Poliglotka
EWA KASP
za
Predvajaj video
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
O knjigi
Polni naslov
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Avtor
Alessandro Gianola
Jezik
Angleščina
Angleščina
Vezava
Knjiga - Mehka
Datum izida
2023
Število strani
348
EAN
9783031427459
Koda Libristo
43829848
Založba
Springer, Berlin
Teža
485
Mere
155 x 235
