关注微信公众号查券更方便
[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 9783031427459
【3-4周达】Verification of Data-Aware Processes via Satisfiability Modulo Theories (1st ed. 2023) (1s... [9783031427459]