Dominique Méry – författare

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

11 produkter

Kategorier

11 produkter

Del 11163
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
749 kr
Skickas inom 10-15 vardagar
Del 929
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
749 kr
Skickas inom 10-15 vardagar
Del 12071
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
749 kr
Skickas inom 10-15 vardagar
Del 12709
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
899 kr
Skickas inom 10-15 vardagar
Del 14010
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 129 kr
Skickas inom 10-15 vardagar
Del 8687
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
729 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
749 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
749 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 449 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 449 kr
Skickas inom 10-15 vardagar
Del 15394
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 129 kr
Skickas inom 10-15 vardagar