Hoppa till sidans huvudinnehåll

Dominique Méry - Böcker

Visar alla böcker från författaren Dominique Méry.
11 produkter

Model and Data Engineering

8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Av El Hassan Abdelwahed, Ladjel Bellatreche m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

New Trends in Model and Data Engineering

MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Av El Hassan Abdelwahed, Ladjel Bellatreche m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

Av Alexander Raschke, Dominique Méry m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Av Alexander Raschke, Dominique Méry m. fl

Häftad, Engelska, 2021

879 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Av Uwe Glässer, Jose Creissac Campos m. fl

Häftad, Engelska, 2023

1 079 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2014

11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Av Gabriel Ciobanu, Dominique Méry m. fl

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Av Dominique Méry, Stephan Merz

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Av Dimitra Giannakopoulou, Dominique Mery

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

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

Communications of NII Shonan Meetings

Av Yamine Ait-Ameur, Shin Nakajima m. fl

Inbunden, Engelska, 2020

1 419 kr

Skickas inom 10-15 vardagar

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

Communications of NII Shonan Meetings

Av Yamine Ait-Ameur, Shin Nakajima m. fl

Häftad, Engelska, 2021

1 419 kr

Skickas inom 10-15 vardagar

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Av Kazuhiro Ogata, Dominique Mery m. fl

Häftad, Engelska, 2024

1 129 kr

Skickas inom 10-15 vardagar