# Application des techniques formelles au logiciel

> Fiche œuvre du catalogue https://superlivre.fr/livre/application-des-techniques-formelles-au-logiciel-cb36184173g (données du dépôt légal BnF).

- **Auteur** : [Observatoire français des techniques avancées. Groupe Méthodes formelles en logiciel](https://superlivre.fr/auteur/observatoire-francais-des-techniques-avancees-groupe-methodes-formelles-en-logic-cb13179095w)
- **Première parution** : 1997
- **Langue** : français
- **Genres** : [Conception de systèmes informatiques](https://superlivre.fr/genre/conception-de-systemes-informatiques-cb119482752), [Contrôle de la qualité](https://superlivre.fr/genre/controle-de-la-qualite-cb11932687h), [Logiciels -- Développement](https://superlivre.fr/genre/logiciels-developpement-cb12064812v), [Spécifications](https://superlivre.fr/genre/specifications-cb11976002f)
- **Éditions recensées** : 1 (1997–1997)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1997 | [OFTA](https://superlivre.fr/editeur/ofta) | Paris. - [Paris] | 285 | 2-906028-06-1 |