*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
    Paolo Ciancarini
    Springer US
    Taschenbuch
    Print on Demand

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

    236,51 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
    Paolo Ciancarini
    Springer US, Springer US
    Buch
    Print on Demand

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

    216,15 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Software Engineering for Resilient Systems
    Software Engineering for Resilient Systems
    Patrizio Pelliccione
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    42,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Alessandro Fantechi
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

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

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. 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
  1. 1