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