Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation

    Logic-Based Program Synthesis and Transformation

    Elvira Albert
    Springer, Springer
    03.05.2013

    This book constitutes the thoroughly refereed post-conference proceedings of the 22nd Internation...

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    Elvira Albert
    Springer, Springer
    27.06.2016

    This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal T...

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

    Integrated Formal Methods

    Elvira Albert
    Springer, Springer
    15.09.2014

    This book constitutes the refereed proceedings of the 11th International Conference on Integrated...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Elvira Albert
    Springer, Springer
    17.06.2026

    This open access book constitutes the proceedings of the 29th International Conference on Fundame...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1