关注微信公众号查券更方便
【预订】Interactive Theorem Proving and Program Development 9783642058806
【3-4周达】Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive C... [9783642058806]
![【3-4周达】Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive C... [9783642058806]](/Public/skin2/static/tqkpc/images/grey.gif)
