关注微信公众号查券更方便
[预订]Certified Programming with Dependent Types 9780262545747
【4周达】Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant [9780262545747]
![【4周达】Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant [9780262545747]](/Public/skin2/static/tqkpc/images/grey.gif)
