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
NZ$ 123.50
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 3 - 13
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