# Analyse formelle d'algorithmes

> Fiche œuvre du catalogue https://superlivre.fr/livre/analyse-formelle-dalgorithmes-cb34770553j (données du dépôt légal BnF).

- **Auteur** : [Roland Lesuisse](https://superlivre.fr/auteur/roland-lesuisse-cb126627631)
- **Première parution** : 1984
- **Langue** : français
- **Genres** : [Algorithmes](https://superlivre.fr/genre/algorithmes-cb119358199), [Débogage](https://superlivre.fr/genre/debogage-cb11973242h)
- **Éditions recensées** : 1 (1984–1984)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1984 | [Masson](https://superlivre.fr/editeur/masson) | Paris | 206 | 2-225-80403-6 |