Haben Sie Fragen? +49 (0)5563 / 999 60 39
Mein Konto Merkzettel Wunschliste Zuletzt gesehen

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. ABZ 2014: The Landing Gear Case Study

    ABZ 2014: The Landing Gear Case Study

    Frederic Boniol
    Springer Verlag GmbH 26.05.2014 - 2014
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Model and Data Engineering

    Model and Data Engineering

    Yamine Ait Ameur
    Springer Verlag GmbH 23.09.2014 - 2014
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  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 21.05.2014 - 2014
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Yamine Ait-Ameur
    Springer Verlag GmbH 06.10.2019 - 2019
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    -0 %

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

    Yamine Ait-Ameur
    Springer Verlag GmbH 28.07.2020 - 2020
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Unser bisheriger Preis:ORGPRICE: 104,99 €

    Jetzt 80,24 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  6. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    -0 %

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

    Yamine Ait-Ameur
    Springer Verlag GmbH 29.07.2021 - 2021
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Unser bisheriger Preis:ORGPRICE: 104,99 €

    Jetzt 80,24 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  7. Theoretical Aspects of Software Engineering

    Theoretical Aspects of Software Engineering

    Yamine Aït-Ameur
    Springer Verlag GmbH 01.07.2022 - 2022
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    89,24 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  8. Engineering of Complex Computer Systems

    Engineering of Complex Computer Systems

    Guangdong Bai
    Springer Verlag GmbH 29.09.2024 - 2024
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    78,74 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1