Hoppa till sidans huvudinnehåll

Dominique Méry – författare

Visar alla böcker från författaren .
11 produkter
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez - Model and Data Engineering, Häftad
Del 11163 - Lecture Notes in Computer Science

Model and Data Engineering

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

AvEl Hassan Abdelwahed,Ladjel Bellatrechem. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez - New Trends in Model and Data Engineering, Häftad
Del 929 - Communications in Computer and Information Science

New Trends in Model and Data Engineering

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

AvEl Hassan Abdelwahed,Ladjel Bellatrechem. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Alexander Raschke, Dominique Méry, Frank Houdek - Rigorous State-Based Methods, Häftad
Del 12071 - Lecture Notes in Computer Science

Rigorous State-Based Methods

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

AvAlexander Raschke,Dominique Mérym. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Alexander Raschke, Dominique Méry - Rigorous State-Based Methods, Häftad
Del 12709 - Lecture Notes in Computer Science

Rigorous State-Based Methods

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

AvAlexander Raschke,Dominique Méry

Häftad, Engelska, 2021

869 kr

Skickas inom 10-15 vardagar

Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque - Rigorous State-Based Methods, Häftad
Del 14010 - Lecture Notes in Computer Science

Rigorous State-Based Methods

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

AvUwe Glässer,Jose Creissac Camposm. fl.

Häftad, Engelska, 2023

1 089 kr

Skickas inom 10-15 vardagar

Gabriel Ciobanu, Dominique Méry - Theoretical Aspects of Computing – ICTAC 2014, Häftad
Del 8687 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2014

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

AvGabriel Ciobanu,Dominique Méry

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar

Dominique Méry, Stephan Merz - Integrated Formal Methods, Häftad

Integrated Formal Methods

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

AvDominique Méry,Stephan Merz

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Dimitra Giannakopoulou, Dominique Mery - FM 2012: Formal Methods, Häftad

FM 2012: Formal Methods

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

AvDimitra Giannakopoulou,Dominique Mery

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Yamine Ait-Ameur, Shin Nakajima, Dominique Méry - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, Inbunden

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

Communications of NII Shonan Meetings

AvYamine Ait-Ameur,Shin Nakajimam. fl.

Inbunden, Engelska, 2020

1 409 kr

Skickas inom 10-15 vardagar

Yamine Ait-Ameur, Shin Nakajima, Dominique Méry - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, Häftad

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

Communications of NII Shonan Meetings

AvYamine Ait-Ameur,Shin Nakajimam. fl.

Häftad, Engelska, 2021

1 409 kr

Skickas inom 10-15 vardagar

Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu - Formal Methods and Software Engineering, Häftad
Del 15394 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

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

AvKazuhiro Ogata,Dominique Merym. fl.

Häftad, Engelska, 2024

1 089 kr

Skickas inom 10-15 vardagar