Erweiterte Suche

Grid  List

  1. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Tim Willemse
    Springer International Publishing, Springer International Publishing
    25.07.2019

    This book constitutes the proceedings of the 24th International Conference on Formal Methods for ...

    Taschenbuch
    53,49 €
    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

    Tim A. C. Willemse
    Springer International Publishing, Springer International Publishing
    10.06.2021

    This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference o...

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

    Software Engineering and Formal Methods

    Tim A. C. Willemse
    Springer Nature Switzerland, Springer International Publishing
    31.10.2023

    This book constitutes the refereed proceedings of the 21st International Conference on Software E...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1