Verification of Data-Aware Processes Via Satisfiability Modulo Theories - Alessandro Gianola - Books - Springer - 9783031427459 - October 30, 2023
In case cover and title do not match, the title is correct

Verification of Data-Aware Processes Via Satisfiability Modulo Theories

Price
$ 70.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 21 - 27
Get notified about new Alessandro Gianola releases
Add to your iMusic wish list

Not rated yet

Media Books     Book
Released October 30, 2023
ISBN13 9783031427459
Publishers Springer
Dimensions 150 × 220 × 20 mm   ·   528 g
Language German  

More from the same publisher