# Construction et vérification de programmes

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

- **Auteur** : [Roland C. Backhouse](https://superlivre.fr/auteur/roland-c-backhouse-cb121134537) (1948–)
- **traducteur** : [René Quiniou](https://superlivre.fr/auteur/rene-quiniou-cb12729725h)
- **Première parution** : 1989
- **Langue** : français
- **Genres** : [Programmation (informatique)](https://superlivre.fr/genre/programmation-informatique-cb11932648m)
- **Éditions recensées** : 1 (1989–1989)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1989 | [Masson](https://superlivre.fr/editeur/masson) | Paris. - London | 276 | 2-225-81660-3 |