| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Algebraic Semantics | 978-0-387-10284-9 | 1981 | ||
| Mathématiques pour l'informatique - 4ème édition - Cours avec 309 exercices corrigés | 978-2-10-049230-5 | 2005 | André Arnold · Irène Guessarian | |
| Mathématiques pour l'informatique, avec exercices corrigés | 978-2-225-82919-2 | 1997 | André Arnold · Irène Guessarian | |
| Math for Computer Science | 978-0-13-234717-4 | 1996 | A. Arnold | |
| Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 ... Notes in Computer Science , Band 469) | 978-3-540-53479-2 | 1990 | ||
Dunod · Prentice Hall · Springer