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
HK$ 559
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13
Add to your iMusic wish list
Media Books     Book
Released October 30, 2023
ISBN13 9783031427459
Publishers Springer
Dimensions 150 × 220 × 20 mm   ·   528 g
Language German  

Mere med samme udgiver