Grid   List

  1. 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: 134,63 €

    Jetzt 134,62 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. 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: 87,30 €

    Jetzt 87,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. 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: 55,98 €

    Jetzt 55,97 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Program Development

    Pierre Castéran
    Springer Berlin Heidelberg
    Buch
    Print on Demand

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

    117,69 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. From Semantics to Computer Science

    From Semantics to Computer Science

    Yves Bertot
    Cambridge University Press
    Ebook
    Nicht lieferbar

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

    123,50 €
    Alle Preise inkl. MwSt
  1. 1