关注微信公众号查券更方便
【4周达】Qed at Large: A Survey of Engineering of Formally Verified Software [9781680835946]
[预订]QED at Large 9781680835946
![【4周达】Qed at Large: A Survey of Engineering of Formally Verified Software [9781680835946]](/Public/skin2/static/tqkpc/images/grey.gif)