Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Coordination Models and Languages Coordination Models and Languages

    Coordination Models and Languages

    Hanne Riis Nielson
    Springer, Springer
    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
  2. Static Analysis Static Analysis

    Static Analysis

    Hanne Riis Nielson
    Springer, Springer
    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
  3. 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
  4. Transactions on Computational Systems Biology VII Transactions on Computational Systems Biology VII

    Transactions on Computational Systems Biology VII

    Anna Ingolfsdottir
    Springer, Springer
    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
  5. 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
  1. 1