关注微信公众号查券更方便
[预订]Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems 9789811550560
【4周达】Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ... [9789811550560]
![【4周达】Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ... [9789811550560]](/Public/skin2/static/tqkpc/images/grey.gif)
