25 元券9789811550539DevelopmentsIntegrationSemantics¥10580去看看澜瑞图书专营店发布了【4周达】Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ... [9789811550539]