# Introduction aux méthodes formelles

> Fiche œuvre du catalogue https://superlivre.fr/livre/introduction-aux-methodes-formelles-cb37191093f (données du dépôt légal BnF).

- **Auteur** : [Jean-François Monin](https://superlivre.fr/auteur/jean-francois-monin-cb12545735x)
- **Première parution** : 2000
- **Langue** : français
- **Genres** : [Méthodes formelles (informatique)](https://superlivre.fr/genre/methodes-formelles-informatique-cb13539618z)
- **Éditions recensées** : 1 (2000–2000)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2000 | [Hermès science publications](https://superlivre.fr/editeur/hermes-science-publications) | Paris | 351 | 2-7462-0140-2 |