Detailsuche

Grid  List

  1. Integrated Formal Methods
    0 %
    Integrated Formal Methods
    Michael Leuschel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 79,72 €

    Jetzt 57,81 €Ebook
    Alle Preise inkl. MwSt
  2. Formal Methods for Open Object-Based Distributed Systems
    0 %
    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...

    Unser bisheriger Preis:ORGPRICE: 57,99 €

    Jetzt 57,98 €Ebook
    Alle Preise inkl. MwSt
  3. Correct System Design
    0 %
    Correct System Design
    Roland Meyer
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 50,72 €

    Jetzt 50,71 €Ebook
    Alle Preise inkl. MwSt
  4. Tests and Proofs
    0 %
    Tests and Proofs
    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,60 €

    Jetzt 57,59 €Ebook
    Alle Preise inkl. MwSt
  5. Fundamental Approaches to Software Engineering
    0 %
    Fundamental Approaches to Software Engineering
    Jordi Cabot
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,85 €

    Jetzt 3,84 €Ebook
    Alle Preise inkl. MwSt
  6. Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
    Heike Wehrheim
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Integrated Formal Methods
    Integrated Formal Methods
    Heike Wehrheim
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Correct System Design
    Correct System Design
    Roland Meyer
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    51,36 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Jordi Cabot
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Tests and Proofs
    Tests and Proofs
    Heike Wehrheim
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

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