mehr als bücher

Grid  List

  1. Model and Data Engineering
    Model and Data Engineering
    Yamine Ait Ameur
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  2. ABZ 2014: The Landing Gear Case Study
    ABZ 2014: The Landing Gear Case Study
    Frederic Boniol
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. Abstract State Machines, Alloy, B,TLA, VDM, and Z
    Abstract State Machines, Alloy, B,TLA, VDM, and Z
    Yamine Ait Ameur
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Yamine Ait-Ameur
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,49 €*
  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
    Yamine Ait-Ameur
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt
    106,99 €*
  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
    Yamine Ait-Ameur
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    106,99 €*
  7. Theoretical Aspects of Software Engineering
    Theoretical Aspects of Software Engineering
    Yamine Aït-Ameur
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    90,94 €*
  1. 1