Erweiterte Suche

Grid  List

  1. New Trends in Model and Data Engineering New Trends in Model and Data Engineering

    New Trends in Model and Data Engineering

    El Hassan Abdelwahed
    Springer International Publishing, Springer International Publishing
    18.10.2018

    This book constitutes the thoroughly refereed papers of the workshops held at the 8th Internation...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Stephan Merz
    Springer Berlin Heidelberg
    06.10.2010

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Theoretical Aspects of Computing ¿ ICTAC 2014 Theoretical Aspects of Computing ¿ ICTAC 2014

    Theoretical Aspects of Computing ¿ ICTAC 2014

    Dominique Méry
    Springer International Publishing, Springer International Publishing
    23.09.2014

    This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretica...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Model and Data Engineering Model and Data Engineering

    Model and Data Engineering

    El Hassan Abdelwahed
    Springer International Publishing, Springer International Publishing
    13.09.2018

    This book constitutes the refereed proceedings of the 8h International Conference on Model and Da...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. FM 2012: Formal Methods FM 2012: Formal Methods

    FM 2012: Formal Methods

    Dominique Mery
    Springer Berlin Heidelberg
    21.07.2012

    This book constitutes the refereed proceedings of the 18th International Symposium on Formal Meth...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Yamine Ait-Ameur
    Springer Nature Singapore
    28.07.2020

    This book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Rigorous State-Based Methods Rigorous State-Based Methods

    Rigorous State-Based Methods

    Alexander Raschke
    Springer International Publishing, Springer International Publishing
    15.05.2020

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

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

    Rigorous State-Based Methods

    Dominique Méry
    Springer International Publishing, Springer International Publishing
    23.05.2021

    This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based...

    Taschenbuch
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Yamine Ait-Ameur
    Springer Nature Singapore, Springer Nature Singapore
    29.07.2021

    This book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Rigorous State-Based Methods Rigorous State-Based Methods

    Rigorous State-Based Methods

    Uwe Glässer
    Springer Nature Switzerland, Springer International Publishing
    15.05.2023

    This book constitutes the refereed proceedings of the 9th International Conference on Rigorous St...

    Taschenbuch
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1