Profisuche

michael leuschel

Grid   List

  1. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    All modern industries rely on large and complex software systems. In order toconstruct such large...

    53,49 €
    Alle Preise inkl. MwSt
  2. Integrated Formal Methods

    Integrated Formal Methods

    Michael Leuschel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 7th International Conference on Integrated ...

    53,49 €
    Alle Preise inkl. MwSt
  3. Abstract State Machines, Alloy, B, VDM, and Z

    Abstract State Machines, Alloy, B, VDM, and Z

    John Derrick
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

    53,49 €
    Alle Preise inkl. MwSt
  4. Rigorous State-Based Methods

    Rigorous State-Based Methods

    Silvia Bonfanti
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 10th International Conference on Rigorous S...

    80,24 €
    Alle Preise inkl. MwSt
  5. Abstract State Machines, Alloy, B, VDM, and Z

    Abstract State Machines, Alloy, B, VDM, and Z

    John Derrick
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Integrated Formal Methods

    Integrated Formal Methods

    Heike Wehrheim
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book constitutes the refereed proceedings of the 7th International Conference on Integrated ...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Rigorous State-Based Methods

    Rigorous State-Based Methods

    Silvia Bonfanti
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

    This book constitutes the refereed proceedings of the 10th International Conference on Rigorou...

    80,24 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Rigorous State-Based Methods

    Rigorous State-Based Methods

    Michael Leuschel
    Springer, Berlin, Springer Nature Switzerland, Springer
    Taschenbuch
    Vorbestellbar

    This book constitutes the refereed proceedings of the 11th International Conference on Rigorou...

    160,59 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1