Verification of Data-Aware Processes via Satisfiability Modulo Theories Lecture Notes in Business Information Processing, nr. 470 Autor Alessandro Gianola 30 oct 2023 Paperback Preț: 428.19 lei 503.76 lei 6-8 săpt. -15%