Dominique Méry - Böcker
Model and Data Engineering
8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
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
719 kr
Skickas inom 10-15 vardagar
Rigorous State-Based Methods
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
719 kr
Skickas inom 10-15 vardagar
Rigorous State-Based Methods
8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
859 kr
Skickas inom 10-15 vardagar
Rigorous State-Based Methods
9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
1 069 kr
Skickas inom 7-10 vardagar
Theoretical Aspects of Computing – ICTAC 2014
11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
699 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
719 kr
Skickas inom 10-15 vardagar
FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
719 kr
Skickas inom 10-15 vardagar
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
1 379 kr
Skickas inom 10-15 vardagar
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
1 379 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
1 069 kr
Skickas inom 10-15 vardagar