关注微信公众号查券更方便
【3-4周达】Deductive verification of object-oriented software : dynamic frames, dynamic logic and pre... [9783866446236]
![【3-4周达】Deductive verification of object-oriented software : dynamic frames, dynamic logic and pre... [9783866446236]](/Public/skin2/static/tqkpc/images/grey.gif)