mehr als bücher

Grid  List

  1. Formal Techniques for Safety-Critical Systems
    Formal Techniques for Safety-Critical Systems
    Cyrille Artho
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  2. Formal Techniques for Safety-Critical Systems
    Formal Techniques for Safety-Critical Systems
    Cyrille Artho
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. Formal Techniques for Safety-Critical Systems
    Formal Techniques for Safety-Critical Systems
    Cyrille Artho
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Cyrille Artho
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  5. Formal Techniques for Safety-Critical Systems
    Formal Techniques for Safety-Critical Systems
    Cyrille Artho
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  6. Formal Techniques for Safety-Critical Systems
    Formal Techniques for Safety-Critical Systems
    Cyrille Artho
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  1. 1