Lecture Notes in Business Information Pr Verification of Data-Aware Processes Via Satisfiability Modulo Theories, Book 470, (Paperback)
Lecture Notes in Business Information Pr Verification of Data-Aware Processes Via Satisfiability Modulo Theories, Book 470, (Paperback) Author: Springer ISBN: 9783031427459 Format: Paperback Publication Date: 2023-10-30 Page Count: 317
Shipping & Returns
Shipping & Returns








