Erweiterte Suche

Grid  List

  1. Two-Level Functional Languages Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson
    Cambridge University Press
    15.06.2005

    The authors describe here a framework in which the type notation of functional languages is exten...

    Taschenbuch
    65,20 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Coordination Models and Languages Coordination Models and Languages

    Coordination Models and Languages

    Emilio Tuosto
    Springer International Publishing, Springer International Publishing
    05.06.2019

    This book constitutes the proceedings of the 21th International Conference on Coordination Models...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Static Analysis Static Analysis

    Static Analysis

    Gilberto Filé
    Springer Berlin Heidelberg
    09.08.2007

    The aim of static analysis is to develop principles, techniques and tools for validatingpropertie...

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

    Formal Methods

    Hanne Riis Nielson
    Springer International Publishing
    25.07.2019

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

    Gebunden
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Transactions on Computational Systems Biology VII Transactions on Computational Systems Biology VII

    Transactions on Computational Systems Biology VII

    Anna Ingolfsdottir
    Springer Berlin Heidelberg
    13.11.2006

    This volume, the 7th in the Transactions on Computational Systems Biology series, contains a full...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Two-Level Functional Languages Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson
    Cambridge University Press
    11.11.2014

    This book provides a framework in which the type notation of functional languages is extended to ...

    Gebunden
    185,50 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Semantics with Applications: An Appetizer Semantics with Applications: An Appetizer

    Semantics with Applications: An Appetizer

    Hanne Riis Nielson
    Springer
    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: 47,00 €

    Jetzt 37,40 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Type and Effect Systems: Behaviours for Concurrency Type and Effect Systems: Behaviours for Concurrency

    Type and Effect Systems: Behaviours for Concurrency

    Torben Amtoft
    World Scientific Publishing Company
    15.03.1999

    Concurrent and distributed processes occur everywhere: in embedded systems, in information networ...

    Gebunden
    94,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1