alexander raschke

Grid   List

  1. Modeling Companion for Software Practitioners
    Modeling Companion for Software Practitioners
    Egon Börger
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its ...
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Abstract State Machines, Alloy, B, TLA, VDM, and Z
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    Michael Butler
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Rigorous State-Based Methods
    Rigorous State-Based Methods
    Alexander Raschke
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference w...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Federlegierungen aus NE-Metallen
    Federlegierungen aus NE-Metallen
    Zanna P. Pastuchova
    Springer Vienna
    Ebook
    Sofort lieferbar
    Übersetzung aus dem Russischen und Bearbeitung der deutsch- sprachigen Ausgabe
    42,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Logic, Computation and Rigorous Methods
    Logic, Computation and Rigorous Methods
    Alexander Raschke
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Rigorous State-Based Methods
    Rigorous State-Based Methods
    Alexander Raschke
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The con...
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Modeling Companion for Software Practitioners
    Modeling Companion for Software Practitioners
    Alexander Raschke
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its ...
    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Federlegierungen aus NE-Metallen
    Federlegierungen aus NE-Metallen
    Zanna P. Pastuchova
    Springer Vienna, Springer Vienna
    Taschenbuch
    Bezug 11-15
    In den verschiedenartigsten Geraten, automatischen Vorrichtungen und Maschinen gehoren Federn, Membranen, Faltenbalge, Geber u. a. zu den wichtigsten Elementen, die deren Betriebscharakteristika, Z...
    54,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Abstract State Machines, Alloy, B, TLA, VDM, and Z
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    Michael Butler
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Rigorous State-Based Methods
    Rigorous State-Based Methods
    Alexander Raschke
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conferenc...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Logic, Computation and Rigorous Methods
    Logic, Computation and Rigorous Methods
    Alexander Raschke
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organi...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Rigorous State-Based Methods
    Rigorous State-Based Methods
    Dominique Méry
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The con...
    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>