Verification of Data-Aware Processes via Satisfiability Modulo Theories by Aless
83,03 €
1.1 Overview. - 1.1.1 Finite-State Model Checking. - 1.1.2 Verification of Data-Aware Processes. - 1.1.4 Main Goal of the Book. - 1.2 Related Literature. - 1.2.2 Verification of Data-Aware Processes.
Jetzt bei Ebay:
![Produktbild - The Great Political Theories by Michael Curtis [1965 · 4th Printing]](https://i.ebayimg.com/thumbs/images/g/ibgAAOSw7dhi3bDw/s-l140.jpg)
