*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Critical Systems: Formal Methods and Automated Verification
    Critical Systems: Formal Methods and Automated Verification
    Maurice H. Ter Beek
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Web Services and Formal Methods
    Web Services and Formal Methods
    Niels Lohmann
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    49,92 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Architecting Dependable Systems VI
    Architecting Dependable Systems VI
    Rogério de Lemos
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods ¿ The Next 30 Years
    Formal Methods ¿ The Next 30 Years
    Maurice H. Ter Beek
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    58,74 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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
    Taschenbuch
    Print on Demand

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

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Dejan Ni¿kovi¿
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Integrated Formal Methods
    Integrated Formal Methods
    Rosemary Monahan
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    82,27 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Coordination Models and Languages
    Coordination Models and Languages
    Marjan Sirjani
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

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

    129,17 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1