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ț: 431.25 lei 539.06 lei 6-8 săpt. -20%