| Année | Titre | Auteur(s) principal | Éditeur |
|---|---|---|---|
| 1997 | Logique et preuve | Jean-Raymond Abrial | Abrial, Jean-Raymond |
| 1997 | Logique et preuve 1 | Jean-Raymond Abrial | Abrial, Jean-Raymond |
Auteurs ayant un livre paru la même année chez un éditeur de Jean-Raymond Abrial.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Paul Smigielski | Teknea (1994) | 1 |
| Henri Habrias | Teknea (1994) | 1 |
| David Lightfoot | Teknea (1994) | 1 |
| Éditeur | Œuvres |
|---|---|
| Abrial, Jean-Raymond | 2 |
| IUT informatique | 1 |
| Teknea | 1 |
| 26 |
| 1997 | Logique et preuve 1 | Abrial, Jean-Raymond | 49 |
