Hoppa till sidans huvudinnehåll

Dominique Méry – författare

Visar alla böcker från författaren Dominique Méry.
11 produkter
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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

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 069 kr

Skickas inom 5-8 vardagar

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

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 Nakajimam. 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 Nakajimam. fl.

Häftad, Engelska, 2021

1 389 kr

Skickas inom 10-15 vardagar

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 079 kr

Skickas inom 10-15 vardagar