Tell your friends about this item:
Verification of Data-Aware Processes Via Satisfiability Modulo Theories Alessandro Gianola
Verification of Data-Aware Processes Via Satisfiability Modulo Theories
Alessandro Gianola
| Media | Books Book |
| Released | October 30, 2023 |
| ISBN13 | 9783031427459 |
| Publishers | Springer |
| Dimensions | 150 × 220 × 20 mm · 528 g |
| Language | German |