Erweiterte Suche

Grid  List

  1. Software Engineering for Resilient Systems Software Engineering for Resilient Systems

    Software Engineering for Resilient Systems

    Patrizio Pelliccione
    Springer International Publishing, Springer International Publishing
    19.08.2015

    This book constitutes the refereed proceedings of the 7th International Workshop on Software Engi...

    Taschenbuch
    42,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Alessandro Fantechi
    Springer International Publishing, Springer International Publishing
    20.10.2017

    This volume constitutes the proceedings of the Second International Conference on Reliability, Sa...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Paolo Ciancarini
    Springer US
    17.01.2013

    Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several rela...

    Taschenbuch
    213,99 €
    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. Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Paolo Ciancarini
    Springer US, Springer US
    28.02.1999

    Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several rela...

    Gebunden
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Alessandro Fantechi
    Springer Berlin Heidelberg
    20.07.2009

    The aim of the FMICS workshop series is to provide a forum for researchers who are interested in ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1