60 元券Satisfiability9783031427459VerificationProcesses¥6260去看看中国国际图书专营店发布了[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 9783031427459Satisfiability9783031427459VerificationProcesses¥7250去看看澜瑞图书专营店发布了【4周达】Verification of Data-Aware Processes via Satisfiability Modulo Theories [9783031427459]