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

AvEl Hassan Abdelwahed,Ladjel Bellatreche m. fl.

Häftad, Engelska, 2018

719 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

AvEl Hassan Abdelwahed,Ladjel Bellatreche m. fl.

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

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

AvAlexander Raschke,Dominique Méry m. fl.

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

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

AvAlexander Raschke,Dominique Méry m. fl.

Häftad, Engelska, 2021

859 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

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

AvUwe Glässer,Jose Creissac Campos m. fl.

Häftad, Engelska, 2023

1 049 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2014

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

AvGabriel Ciobanu,Dominique Méry m. fl.

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvDominique Méry,Stephan Merz

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar

FM 2012: Formal Methods

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

AvDimitra Giannakopoulou,Dominique Mery

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

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

Communications of NII Shonan Meetings

AvYamine Ait-Ameur,Shin Nakajima m. fl.

Inbunden, Engelska, 2020

1 389 kr

Skickas inom 10-15 vardagar

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

Communications of NII Shonan Meetings

AvYamine Ait-Ameur,Shin Nakajima m. fl.

Häftad, Engelska, 2021

1 389 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

AvKazuhiro Ogata,Dominique Mery m. fl.

Häftad, Engelska, 2024

949 kr

Skickas inom 10-15 vardagar