# Système d'aide à la preuve de compilateurs

> Fiche œuvre du catalogue https://superlivre.fr/livre/systeme-daide-a-la-preuve-de-compilateurs-cb36101259t (données du dépôt légal BnF).

- **Auteur** : [Éric Madelaine](https://superlivre.fr/auteur/eric-madelaine-cb13061149p)
- **Première parution** : 1983
- **Langue** : français
- **Éditions recensées** : 1 (1983–1983)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1983 | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | 78-Rocquencourt | 340 | 2-7261-0348-0 |