Dominique Méry – författare
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, 2018
739 kr
Lägg i varukorg
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, 2018
739 kr
Lägg i varukorg
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, 2020
739 kr
Lägg i varukorg
Rigorous State-Based Methods
8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Av Alexander Raschke, Dominique Méry
Häftad, 2021
879 kr
Lägg i varukorg
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, 2023
1109 kr
Lägg i varukorg
Theoretical Aspects of Computing – ICTAC 2014
11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Av Gabriel Ciobanu, Dominique Méry
Häftad, 2014
719 kr
Lägg i varukorg
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Av Dominique Méry, Stephan Merz
Häftad, 2010
739 kr
Lägg i varukorg
FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Av Dimitra Giannakopoulou, Dominique Mery
Häftad, 2012
739 kr
Lägg i varukorg
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, 2020
1429 kr
Lägg i varukorg
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, 2021
1429 kr
Lägg i varukorg
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, 2024
1109 kr
Lägg i varukorg