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

Product image 1
Price unavailable
Lecture Notes in Business Information Pr Verification of Data-Aware Processes Via Satisfiability Modulo Theories, Book 470, (Paperback)
$161.00