Detailsuche

Grid  List

  1. Interactive Theorem Proving and Program Development
    0 %
    Interactive Theorem Proving and Program Development
    Yves Bertot
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Coq is an interactive proof assistant for the development of mathematical theories and formally c...

    Unser bisheriger Preis:ORGPRICE: 88,80 €

    Jetzt 88,79 €Ebook
    Alle Preise inkl. MwSt
  2. Theorem Proving in Higher Order Logics
    0 %
    Theorem Proving in Higher Order Logics
    Yves Bertot
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,11 €

    Jetzt 57,10 €Ebook
    Alle Preise inkl. MwSt
  3. From Semantics to Computer Science
    0 %
    From Semantics to Computer Science
    Yves Bertot
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Gilles Kahn was one of the most influential figures in the development of computer science and in...

    Unser bisheriger Preis:ORGPRICE: 142,43 €

    Jetzt 142,42 €Ebook
    Alle Preise inkl. MwSt
  4. Interactive Theorem Proving and Program Development
    0 %
    Interactive Theorem Proving and Program Development
    Yves Bertot
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

    Coq is an interactive proof assistant for the development of mathematical theories and formall...

    Unser bisheriger Preis:ORGPRICE: 85,59 €

    Jetzt 85,58 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Theorem Proving in Higher Order Logics
    0 %
    Theorem Proving in Higher Order Logics
    Yves Bertot
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book contains the proceedings of the 12th International Conference on TheoremProvinginHigher...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Interactive Theorem Proving and Program Development
    0 %
    Interactive Theorem Proving and Program Development
    Yves Bertot
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Buch
    Besorgungstitel - wird vorgemerkt

    Coq is an interactive proof assistant for the development of mathematical theories and formall...

    Unser bisheriger Preis:ORGPRICE: 117,69 €

    Jetzt 117,68 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1