Mery, Dominique books & textbook
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings (Theoretical Computer Science and General Issues)
Raschke, Alexander Méry, Dominique Houdek, Frank
Springer /2020-05-15 Paperback / 440 Pages
isbn-10: 3030480763 / isbn-13: 9783030480769
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings (Programming and Software Engineering)
Abdelwahed, El Hassan Bellatreche, Ladjel Golfarelli, Mattéo Méry, Dominique Ordonez, Carlos
Springer /2018-09-13 Paperback / 455 Pages
isbn-10: 303000855X / isbn-13: 9783030008550
New Trends in Model and Data Engineering: MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, ... in Computer and Information Science, 929)
Abdelwahed, El Hassan Bellatreche, Ladjel Benslimane, Djamal Golfarelli, Matteo Jean, Stéphane Mery, Dominique Nakamatsu, Kazumi Ordonez, Carlos
Springer /2018-10-18 Paperback / 264 Pages
isbn-10: 3030028518 / isbn-13: 9783030028510
Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Theoretical Computer Science and General Issues)
Ciobanu, Gabriel Méry, Dominique
Springer /2014-09-23 Paperback / 496 Pages
isbn-10: 3319108816 / isbn-13: 9783319108810
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, ... (Lecture Notes in Computer Science, 15394)
Ogata, Kazuhiro Mery, Dominique Sun, Meng Liu, Shaoying
Springer /2024-11-29 Paperback / 422 Pages
isbn-10: 9819606160 / isbn-13: 9789819606160
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Ait-Ameur, Yamine Nakajima, Shin Méry, Dominique
Springer /2021-07-29 Paperback / 360 Pages
isbn-10: 9811550565 / isbn-13: 9789811550560
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science, 7436)
Giannakopoulou, Dimitra Mery, Dominique
Springer /2012-07-21 Paperback / 504 Pages
isbn-10: 3642327583 / isbn-13: 9783642327582
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6396)
Springer /2010-10-06 Paperback / 347 Pages
isbn-10: 3642162649 / isbn-13: 9783642162640
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (Lecture Notes in Computer Science)
Glässer, Uwe Creissac Campos, Jose Méry, Dominique Palanque, Philippe
Springer /2023-05-15 Paperback / 396 Pages
isbn-10: 3031331621 / isbn-13: 9783031331626
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Raschke, Alexander Méry, Dominique
Springer /2021-05-23 Paperback / 180 Pages
isbn-10: 3030775429 / isbn-13: 9783030775421
