Yazar
Dominique Mery
6 cilt bulundu.
Cilt sonuçları
Integrated Formal Methods 8th International Conference Ifm 2010 Nancy France October 1114 2010 Proceedings
Dominique Mery · Springer
Sayfa sayısı yok · 2010
Logic design / Computer science / Software engineering / Computer software / Formal methods (Computer science)
New Trends in Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez · Springer
268 sayfa · 2018
Artificial intelligence / Software engineering
Theoretical Aspects of Computing - ICTAC 2014
Gabriel Ciobanu, Dominique Méry · Springer International Publishing AG
478 sayfa · 2014
Computer science, mathematics / Computer programming / Software engineering / Computer science / Logic design