Erweiterte Suche

Grid  List

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

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

    Klaus-Dieter Schewe
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    21.05.2014

    This book constitutes the thoroughly refereed proceedings of the 4th International Conference on ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. ABZ 2014: The Landing Gear Case Study ABZ 2014: The Landing Gear Case Study

    ABZ 2014: The Landing Gear Case Study

    Frederic Boniol
    Springer International Publishing, Springer International Publishing
    26.05.2014

    This volume contains proceedings of the Case Study Track, held at the 4th International Conferenc...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods and Software Engineering Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Shengchao Qin
    Springer International Publishing, Springer Nature Switzerland
    06.10.2019

    This book constitutes the proceedings of the 21st International Conference on Formal Engineering ...

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

    Model and Data Engineering

    Yamine Ait Ameur
    Springer International Publishing, Springer International Publishing
    23.09.2014

    This book constitutes the refereed proceedings of the 4th International Conference on Model and D...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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
  6. Model and Data Engineering Model and Data Engineering

    Model and Data Engineering

    Ladjel Bellatreche
    Springer International Publishing, Springer International Publishing
    07.09.2016

    This book constitutes the refereed proceedings of the 6th International Conference on Model and D...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. 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
  8. Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering

    Theoretical Aspects of Software Engineering

    Florin Cr¿ciun
    Springer International Publishing, Springer International Publishing
    01.07.2022

    This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 90,94 €

    Jetzt 85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Engineering of Complex Computer Systems Engineering of Complex Computer Systems

    Engineering of Complex Computer Systems

    Guangdong Bai
    Springer Nature Switzerland, Springer Nature Switzerland
    29.09.2024

    This book constitutes of the proceedings from the 28th International Conference on Engineering of...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1