yamine ait ameur

Grid   List

  1. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Yamine Ait-Ameur
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. ABZ 2014: The Landing Gear Case Study
    ABZ 2014: The Landing Gear Case Study
    Frederic Boniol
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.The 11 papers presented were carefully reviewed and s...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Abstract State Machines, Alloy, B, TLA, VDM, and Z
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    Yamine Ait Ameur
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM, and Z, which took place in Toulouse, France, in June 2014. The...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Model and Data Engineering
    Model and Data Engineering
    Yamine Ait Ameur
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, in September 2014. The 16 long papers and 12 sh...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Model and Data Engineering
    Model and Data Engineering
    Ladjel Bellatreche
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Nature Singapore
    Ebook
    Sofort lieferbar
    This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it hi...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Theoretical Aspects of Software Engineering
    Theoretical Aspects of Software Engineering
    Yamine Aït-Ameur
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular pa...
    90,94 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Engineering of Complex Computer Systems
    Engineering of Complex Computer Systems
    Guangdong Bai
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19-21, 2024.
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. 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
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. ABZ 2014: The Landing Gear Case Study
    ABZ 2014: The Landing Gear Case Study
    Frederic Boniol
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.The 11 papers presented were carefully reviewed and s...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Model and Data Engineering
    Model and Data Engineering
    Yamine Ait Ameur
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, in September 2014. The 16 long papers and 12 sh...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Model and Data Engineering
    Model and Data Engineering
    Ladjel Bellatreche
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016.The 17 full papers a...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>