关注微信公众号查券更方便
【4周达】Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 20... [9783540691471]
![【4周达】Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 20... [9783540691471]](/Public/skin2/static/tqkpc/images/grey.gif)