Profisuche

heike wehrheim

Grid   List

  1. 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
  2. Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Roberto Gorrieri
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on...

    53,49 €
    Alle Preise inkl. MwSt
  3. Correct System Design

    Correct System Design

    Roland Meyer
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. ...

    50,28 €
    Alle Preise inkl. MwSt
  4. Tests and Proofs

    Tests and Proofs

    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were care...

    53,49 €
    Alle Preise inkl. MwSt
  5. Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

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

    This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference...

    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. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Jordi Cabot
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

    This open access book constitutes the proceedings of the 23rd International Conference on Fundame...

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Tests and Proofs

    Tests and Proofs

    Heike Wehrheim
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

    This book constitutes the refereed proceedings of the 14th International Conference on Tests a...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Correct System Design

    Correct System Design

    Roland Meyer
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 16-20

    This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. ...

    51,36 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1