关注微信公众号查券更方便
【3-4周达】Verification of Sequential and Concurrent Programs (Third Edition 2009) (Third Edition 200... [9781848827448]
![【3-4周达】Verification of Sequential and Concurrent Programs (Third Edition 2009) (Third Edition 200... [9781848827448]](/Public/skin2/static/tqkpc/images/grey.gif)