Detailsuche

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: 137,70 €

    Jetzt 137,69 €Ebook
    Alle Preise inkl. MwSt
  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: 89,31 €

    Jetzt 89,30 €Ebook
    Alle Preise inkl. MwSt
  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: 57,88 €

    Jetzt 57,87 €Ebook
    Alle Preise inkl. MwSt
  4. Interactive Theorem Proving and Program Development
    Interactive Theorem Proving and Program Development
    Pierre Castéran
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    85,59 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Interactive Theorem Proving and Program Development
    Interactive Theorem Proving and Program Development
    Pierre Castéran
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Print on Demand

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

    117,69 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Theorem Proving in Higher Order Logics
    0 %
    Theorem Proving in Higher Order Logics
    Yves Bertot
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 85,59 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. From Semantics to Computer Science
    0 %
    From Semantics to Computer Science
    Yves Bertot
    Cambridge University Press
    Buch
    Print on Demand

    Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the...

    Unser bisheriger Preis:ORGPRICE: 185,30 €

    Jetzt 185,28 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1