*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
    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
    Cristina Gacek
    Springer Spektrum
    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 VS
    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
    Palgrave Macmillan
    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
    Rosemary Monahan
    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
    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. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    Maurice H. Ter Beek
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa,...

    64,06 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Formal Methods: Foundations and Applications
    Formal Methods: Foundations and Applications
    Maurice H. Ter Beek
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods:...

    62,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Journeys Between Formal Methods and the Railway Industry
    Journeys Between Formal Methods and the Railway Industry
    Anne E. Haxthausen
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a ...

    106,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1