André Arnold

• Mathematiques pour l'informatique
• Mathématiques pour l'informatique - 4ème édition - Cours avec 309 exercices corrigés
• Programmes parallèles
• Systèmes de transitions finis et sémantique des processus communicants
• "My Peter!"
• Formalisation des démontrations mathématiques
• Les arbres en algèbre et en programmation