# Jean-Raymond Abrial

> Fiche auteur du catalogue https://superlivre.fr/auteur/jean-raymond-abrial-cb13489775x (données du dépôt légal BnF, enrichies Wikidata).

- **Dates** : 1938–2025
- **Occupation** : ingénieur · informaticien · journaliste
- **Nationalité** : France
- **Œuvres au catalogue** : 4 (1994–1997)
- **Pagination médiane** : 38 pages
- **Wikipedia** : https://fr.wikipedia.org/wiki/Jean-Raymond_Abrial
- **Wikidata** : https://www.wikidata.org/wiki/Q3169881
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb13489775x

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1994 | [Introduction à la méthode de spécification formelle B](https://superlivre.fr/livre/introduction-a-la-methode-de-specification-formelle-b-cb382855889) | [Teknea](https://superlivre.fr/editeur/teknea) |  |
| 1995 | [La méthode de spécification formelle B](https://superlivre.fr/livre/la-methode-de-specification-formelle-b-01b7bb395e85) | [IUT informatique](https://superlivre.fr/editeur/iut-informatique) |  |
| 1997 | [Logique et preuve](https://superlivre.fr/livre/logique-et-preuve-cb38384589k) | [Abrial, Jean-Raymond](https://superlivre.fr/editeur/abrial-jean-raymond) | 26 |
| 1997 | [Logique et preuve 1](https://superlivre.fr/livre/logique-et-preuve-1-cb38456274r) | [Abrial, Jean-Raymond](https://superlivre.fr/editeur/abrial-jean-raymond) | 49 |

## En tant que contributeur

- 1997 — [Logique et preuve](https://superlivre.fr/livre/logique-et-preuve-cb38384589k) de Jean-Raymond Abrial
- 1997 — [Logique et preuve 1](https://superlivre.fr/livre/logique-et-preuve-1-cb38456274r) de Jean-Raymond Abrial

## Éditeurs principaux

- [Abrial, Jean-Raymond](https://superlivre.fr/editeur/abrial-jean-raymond) — 2 œuvres
- [IUT informatique](https://superlivre.fr/editeur/iut-informatique) — 1 œuvres
- [Teknea](https://superlivre.fr/editeur/teknea) — 1 œuvres