| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings | 978-3-642-11810-4 | 2010 | Chaouki T. Abdallah · Jean-Raymond Abrial · Kamel Adi · Michael Altenhofen · Paolo Arcaini |
| Conception des systèmes d'information - Génie logiciel - Niveau B | 978-2-7298-0479-4 | 2001 | Alain Vailly |
| Exercices corrigés de conception logicielle - Génie logiciel - Niveau B | 978-2-7298-1289-8 | 2003 | " |
| Exercices corrigés d'UML - Génie logiciel - Niveau C | 978-2-7298-1725-1 | 2003 | " |
| Exercices corrigés en langage Z - Génie logiciel - Niveau C | 978-2-7298-1942-2 | 2004 | " |
| Gestes et Paroles - L'Atelier d'écriture de Beloeil | 978-2-9801936-4-4 | 1990 | Beaugrand Champagne, Luce · Charbonneau, Lise · Chrétien, Madeleine · Vernazza-Macari, Wanda Rheault-Boissé |
| Spécification des logiciels: Deux exemples de pratiques récentes: Z et UML | 978-2-7298-0774-0 | 2001 | Alain Vailly |
Heger Pascal André · P. A. · P. Andre · Pascal André Heger · Pascal-André Pignier · Pascal-André Vendittoli