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ț: 437.78 lei 515.04 lei 6-8 săpt. -15%