Erweiterte Suche

Grid  List

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

    Formal Methods for Industrial Critical Systems

    Dejan Ni¿kovi¿
    Springer International Publishing, Springer International Publishing
    29.08.2020

    This book constitutes the proceedings of the 25th International Workshop on Formal Methods for In...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods - The Next 30 Years Formal Methods - The Next 30 Years

    Formal Methods - The Next 30 Years

    Maurice H. Ter Beek
    Springer International Publishing, Springer International Publishing
    15.09.2019

    This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, ...

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

    Web Services and Formal Methods

    Niels Lohmann
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    25.04.2013

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

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back

    From Software Engineering to Formal Methods and Tools, and Back

    Maurice H. Ter Beek
    Springer International Publishing, Springer International Publishing
    14.09.2019

    This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume cont...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification

    Critical Systems: Formal Methods and Automated Verification

    Maurice H. Ter Beek
    Springer International Publishing, Springer International Publishing
    14.09.2016

    This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Architecting Dependable Systems VI Architecting Dependable Systems VI

    Architecting Dependable Systems VI

    Rogério de Lemos
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    02.11.2009

    As software systems become increasingly ubiquitous, issues of dependability become ever more cruc...

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

    Integrated Formal Methods

    Rosemary Monahan
    Springer International Publishing, Springer International Publishing
    01.06.2022

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

    Taschenbuch
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Coordination Models and Languages Coordination Models and Languages

    Coordination Models and Languages

    Marjan Sirjani
    Springer Nature Switzerland, Springer International Publishing
    06.07.2022

    This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference o...

    Taschenbuch
    128,39 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Coordination Models and Languages Coordination Models and Languages

    Coordination Models and Languages

    Maurice H. ter Beek
    Springer, Berlin, Springer International Publishing, Springer

    This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference o...

    Gebunden
    69,54 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1