Grid   List

  1. 96,29 €
    Alle Preise inkl. MwSt
  2. Isabelle/HOL

    Ebook
    Sofort lieferbar

    This volume is a self-contained introduction to...

    58,84 €
    Alle Preise inkl. MwSt
  3. First-Class Times

    Taschenbuch
    Print on Demand

    'The best education,' the admissions brochure d...

    37,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  4. ML for the Working Programmer

    Taschenbuch
    Print on Demand

    This new edition of a successful text treats mo...

    110,19 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  5. Logic and Computation

    Taschenbuch
    Print on Demand

    Logic and Computation is concerned with techniq...

    96,17 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  6. Isabelle

    Taschenbuch
    Print on Demand

    As a generic theorem prover, Isabelle supports ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  7. Isabelle/HOL

    Taschenbuch
    Print on Demand

    This volume is a self-contained introduction to...

    58,84 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  1. 1
Google Plus
Powered by Inooga