Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems

    Formal Techniques for Safety-Critical Systems

    Peter Csaba Ölveczky
    Springer International Publishing, Springer International Publishing
    22.04.2014

    This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems

    Formal Techniques for Safety-Critical Systems

    Peter Csaba Ölveczky
    Springer International Publishing, Springer International Publishing
    23.04.2015

    This book constitutes the refereed proceedings of the Third International Workshop on Formal Tech...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems

    Formal Techniques for Safety-Critical Systems

    Peter Csaba Ölveczky
    Springer International Publishing, Springer International Publishing
    03.02.2016

    This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techni...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Cyrille Artho
    Springer International Publishing, Springer International Publishing
    22.09.2016

    This book constitutes the proceedings of the 14th International Symposium on Automated Technology...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems

    Formal Techniques for Safety-Critical Systems

    Peter Csaba Ölveczky
    Springer International Publishing, Springer International Publishing
    02.02.2019

    This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techni...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems

    Formal Techniques for Safety-Critical Systems

    Peter Csaba Ölveczky
    Springer International Publishing, Springer International Publishing
    16.02.2017

    This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techni...

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