Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Principles of Program Analysis Principles of Program Analysis

    Principles of Program Analysis

    Flemming Nielson
    Springer, Springer
    22.10.1999

    Program analysis concerns static techniques for computing reliable approximate information about ...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 85,59 €

    Jetzt 80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Semantics with Applications: An Appetizer Semantics with Applications: An Appetizer

    Semantics with Applications: An Appetizer

    Hanne Riis Nielson
    Springer London
    27.04.2007

    Semantics will have an important role to play in the future development of software systems and d...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 43,50 €

    Jetzt 37,40 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Trustworthy Global Computing Trustworthy Global Computing

    Trustworthy Global Computing

    Christos Kaklamanis
    Springer, Springer
    26.03.2009

    This book constitutes the thoroughly refereed post-conference proceedings of the 4th Internationa...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods Formal Methods

    Formal Methods

    Flemming Nielson
    Springer, Springer
    25.07.2019

    This textbook is an introduction to the use of formal methods ranging from semantics of key progr...

    Gebunden
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Principles of Security and Trust Principles of Security and Trust

    Principles of Security and Trust

    Flemming Nielson
    Springer, Springer
    03.04.2019

    This open access book constitutes the proceedings of the 8th International Conference on Principl...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. ML with Concurrency ML with Concurrency

    ML with Concurrency

    Flemming Nielson
    Springer, Springer
    08.10.2011

    Both functional and concurrent programming are relatively new paradigms with great promise. In th...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Principles of Program Analysis Principles of Program Analysis

    Principles of Program Analysis

    Flemming Nielson
    Springer, Springer
    01.12.2010

    Program analysis concerns static techniques for computing reliable approximate information about ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 60,98 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1