# Vérification des programmes normaux

> Fiche œuvre du catalogue https://superlivre.fr/livre/verification-des-programmes-normaux-cb36165030r (données du dépôt légal BnF).

- **Auteur** : [Sophie Renault](https://superlivre.fr/auteur/sophie-renault-cb13181213j)
- **Première parution** : 1997
- **Langue** : français
- **Éditions recensées** : 1 (1997–1997)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1997 | [INRIA](https://superlivre.fr/editeur/inria) | [Le Chesnay] | 168 | 2-7261-1033-9 |