Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Thinking About Programs Thinking About Programs

    Thinking About Programs

    Gavin Lowe
    Association for Computing Machinery
    04.08.2025

    This book describes how to think about computer programs, and how to use mathematics as part of t...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 83,10 €

    Jetzt 59,92 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Thinking About Programs Thinking About Programs

    Thinking About Programs

    Gavin Lowe
    Association for Computing Machinery
    05.08.2025

    This book describes how to think about computer programs, and how to use mathematics as part of t...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 100,30 €

    Jetzt 79,18 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

    Alessandro Armando
    Springer, Berlin, Springer

    ThisvolumecontainstheworkshopproceedingsofARSPA-WITS2010,theJoint Workshop on Automated Reasoning...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 69,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1