bib.howest.be Zoekresultaten

U zocht naar: Auteur Méry, Dominique

1 - 9 van 9

1. Theoretical Aspects of Computing – ICTAC 2014

Auteur:: Ciobanu; Méry, Dominique
Uitgever:: Springer International Publishing 2014
Type:: e-book

2. Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Auteur:: Raschke, Alexander; Méry, Dominique
Uitgever:: Springer International Publishing 2021
Type:: e-book

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

Auteur:: Ait-Ameur; Méry, Dominique; Nakajima, Shin
Uitgever:: Springer Singapore 2021
Type:: e-book

4. Rigorous State-Based Methods

Auteur:: Raschke, Alexander; Houdek, Frank; Méry, Dominique
Uitgever:: Springer International Publishing 2020
Type:: e-book

5. Integrated Formal Methods

Auteur:: Méry, Dominique; Kanade, Takeo; Merz, Stephan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

6. Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Auteur:: Glässer, Uwe.; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe
Uitgever:: Cham Springer 2023
Type:: e-book

7. Model and Data Engineering

Auteur:: Abdelwahed; Carlos Ordonez; Dominique Méry; Ladjel Bellatreche; Mattéo Golfarelli; Bellatreche, Ladjel; Golfarelli, Mattéo; Méry, Dominique; Ordonez, Carlos
Uitgever:: Springer International Publishing 2018
Type:: e-book

8. FM 2012: Formal Methods

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Mery, Dominique
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

9. New Trends in Model and Data Engineering

Auteur:: Abdelwahed; Bellatreche, Ladjel; Benslimane, Djamal; Golfarelli, Matteo; Jean, Stéphane; Mery, Dominique; Nakamatsu, Kazumi; Ordonez, Carlos
Uitgever:: Springer International Publishing 2018
Type:: e-book