Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Unifying Theories of Programming Unifying Theories of Programming

    Unifying Theories of Programming

    Huibiao Zhu
    Springer International Publishing, Springer International Publishing
    11.01.2017

    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying The...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theories of Programming and Formal Methods Theories of Programming and Formal Methods

    Theories of Programming and Formal Methods

    Zhiming Liu
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.07.2013

    This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Theoretical Aspects of Computing -- ICTAC 2013 Theoretical Aspects of Computing -- ICTAC 2013

    Theoretical Aspects of Computing -- ICTAC 2013

    Zhiming Liu
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    15.07.2013

    This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretica...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Unifying Theories of Programming and Formal Engineering Methods Unifying Theories of Programming and Formal Engineering Methods

    Unifying Theories of Programming and Formal Engineering Methods

    Zhiming Liu
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.07.2013

    This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software En...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Service-Oriented Computing - ICSOC Workshops 2012 Service-Oriented Computing - ICSOC Workshops 2012

    Service-Oriented Computing - ICSOC Workshops 2012

    Aditya Ghose
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.04.2013

    This book constitutes the thoroughly refereed proceedings of the 2012 ICSOC Workshops consisting ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods and Software Engineering Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jin Song Dong
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engi...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 123,04 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1