mehr als bücher

Grid  List

  1. Correct System Design
    Correct System Design
    Roland Meyer
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    51,36 €*
  2. Integrated Formal Methods
    Integrated Formal Methods
    Michael Leuschel
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
    Roberto Gorrieri
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Heike Wehrheim
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    42,79 €*
  5. Tests and Proofs
    Tests and Proofs
    Wolfgang Ahrendt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  6. Theoretical Aspects of Computing - ICTAC 2025
    Theoretical Aspects of Computing - ICTAC 2025
    Zhiming Liu
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of ...

    79,17 €*
  1. 1