Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Software Engineering and Formal Methods Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Robert M. Hierons
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    12.09.2013

    This book constitutes the refereed proceedings of the11th International Conference on Software En...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. CONCUR 2009 - Concurrency Theory CONCUR 2009 - Concurrency Theory

    CONCUR 2009 - Concurrency Theory

    Mario Bravetti
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 128,39 €

    Jetzt 106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Techniques for Computer Systems and Business Processes Formal Techniques for Computer Systems and Business Processes

    Formal Techniques for Computer Systems and Business Processes

    Mario Bravetti
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    25.08.2005

    This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Uni...

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

    Web Services and Formal Methods

    Mario Bravetti
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    04.09.2006

    Here are the refereed proceedings of the Third International Workshop on Web Services and Formal ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Behavioral Types in Programming Languages Behavioral Types in Programming Languages

    Behavioral Types in Programming Languages

    Davide Ancona
    Now Publishers Inc
    03.05.2016

    A recent trend in programming language research is to use behavioral type theory to ensure variou...

    Taschenbuch
    120,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Web Services and Formal Methods Web Services and Formal Methods

    Web Services and Formal Methods

    Tevfik Bultan
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.03.2011

    This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International ...

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