豆瓣图书标签: Coq

综合排序  /  按出版日期排序  /  按评价排序
  • Software Foundations

    Benjamin C. Pierce / 2019-1-9
    10.0 (34人评价)

    The Software Foundations series is a broad introduction to the mathematical un...

  • Interactive Theorem Proving and Program Development

    Yves Bertot、Pierre Castéran、Pierre CastTran / Springer / 2004-06-24 / USD 79.95
    (少于10人评价)

    Coq is an interactive proof assistant for the development of mathematical theo...

  • Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant

    Adam Chlipala / The MIT Press / 2013-12-6 / USD 50.00
    (少于10人评价)

    The technology of mechanized program verification can play a supporting role i...

  • 交互式定理证明与程序开发

    YvesBertot、PierreCasteran / 顾明 / 清华大学出版社 / 2010-1 / 59.00元
    (少于10人评价)

    《交互式定理证明与程序开发:Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:C...

  • The Little Prover

    Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00
    (10人评价)

    [FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way ...


相关的标签  · · · · · ·



> 浏览全部图书标签