Erweiterte Suche

Grid  List

  1. Abstract State Machines, Alloy, B, VDM, and Z Abstract State Machines, Alloy, B, VDM, and Z

    Abstract State Machines, Alloy, B, VDM, and Z

    John Derrick
    Springer, Springer Berlin Heidelberg
    12.06.2012

    This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

    Taschenbuch
    53,49 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Michael Leuschel
    Springer, Springer
    02.02.2009

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Rigorous State-Based Methods Rigorous State-Based Methods

    Rigorous State-Based Methods

    Silvia Bonfanti
    Springer, Springer
    21.06.2024

    This book constitutes the refereed proceedings of the 10th International Conference on Rigorous S...

    Taschenbuch
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Rigorous State-Based Methods Rigorous State-Based Methods

    Rigorous State-Based Methods

    Michael Leuschel
    Springer, Springer
    01.09.2025

    This book constitutes the refereed proceedings of the 11th International Conference on Rigorous S...

    Taschenbuch
    139,09 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods for Components and Objects Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. de Boer
    Springer, Berlin, Springer

    All modern industries rely on large and complex software systems. In order toconstruct such large...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1