Grid  List

  1. 28.07.1994

    As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 03.04.2002

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...

    Taschenbuch
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. This volume contains the papers presented at ITP 2010: the First International ConferenceonIntera...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 112,34 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1