120 元券9789811550560DevelopmentsIntegrationSemantics¥9200去看看中国国际图书专营店发布了[预订]Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems 9789811550560