# Éric Madelaine

> Fiche auteur du catalogue https://superlivre.fr/auteur/eric-madelaine-cb13061149p (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 1 (1983–1983)
- **Pagination médiane** : 340 pages
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb13061149p

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1983 | [Système d'aide à la preuve de compilateurs](https://superlivre.fr/livre/systeme-daide-a-la-preuve-de-compilateurs-cb36101259t) | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | 340 |

## En tant que éditeur intellectuel

- 2023 — [Inventaire des cavités du plateau de Caussols (06)](https://superlivre.fr/livre/inventaire-des-cavites-du-plateau-de-caussols-06-cb474408872) de Fédération française de spéléologie. Comité départemental. Alpes-Maritimes
- 2012 — [Inventaire des cavités des karsts littoraux ouest des Alpes-Maritimes](https://superlivre.fr/livre/inventaire-des-cavites-des-karsts-littoraux-ouest-des-alpes-maritimes-cb42720822w) de Fédération française de spéléologie. Comité départemental. Alpes-Maritimes

## Éditeurs principaux

- [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) — 1 œuvres