E.A. · E Andre · Étienne-André Philippe de Prétot
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings | 978-3-030-29661-2 (3-030-29661-X) | 2019 | Étienne André · Mariëlle Stoelinga | |
| Pratique de la gestion financière d'un établissement public local d'enseignement: Responsabilités du comptable et du régisseur 2015-2016 | 978-2-7013-1883-7 (2-7013-1883-1) | 2015 | Jean Gavard · Jean Beurton · Stéphanie Brun · Jean-François Liénart | |
| The Inverse Method: Parametric Verification of Real-time Unbedded Systems | 978-1-84821-447-7 (1-84821-447-2) | 2013 | Romain Soulat |
Berger-Levrault · ISTE Ltd. · Springer