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 systems in a systematic manner, the focus of the developmentmethodologies has switched in the last...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.
    80,24 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers p...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.The 29 paper...
    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10 13, 2025.The 10 ...
    160,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>