*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, Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Web Services and Formal Methods
    Web Services and Formal Methods
    Maurice H. Ter Beek
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Architecting Dependable Systems VI
    Architecting Dependable Systems VI
    Rogério de Lemos
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    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, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Maurice H. Ter Beek
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Integrated Formal Methods
    Integrated Formal Methods
    Maurice H. Ter Beek
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Coordination Models and Languages
    Coordination Models and Languages
    Maurice H. Ter Beek
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Journeys Between Formal Methods and the Railway Industry
    Journeys Between Formal Methods and the Railway Industry
    Maurice H ter Beek
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    104,85 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1