Erweiterte Suche

Grid  List

  1. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Anna Philippou
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.03.2009

    This book constitutes the refereed proceedings of the 15th International Conference on Tools and ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. FM 2016: Formal Methods FM 2016: Formal Methods

    FM 2016: Formal Methods

    John Fitzgerald
    Springer International Publishing, Springer International Publishing
    08.11.2016

    This book constitutes the refereed proceedings of the 21st International Symposium on Formal Meth...

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

    Formal Techniques for Distributed Objects, Components, and Systems

    Anna Philippou
    Springer International Publishing, Springer International Publishing
    12.06.2022

    This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference o...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1