# 1st Conference on the B method : 8th International conference on Putting into practice methods and tools for information system design, November, 25-26-27, 1996, Nantes, France, proceedings

> Fiche œuvre du catalogue https://superlivre.fr/livre/1st-conference-on-the-b-method-cb35855631m (données du dépôt légal BnF).

- **Auteur** : [Conférence internationale B (01 ; 1996 ; Nantes)](https://superlivre.fr/auteur/conference-internationale-b-01-1996-nantes-cb125657251)
- **éditeur intellectuels** : [Henri Habrias](https://superlivre.fr/auteur/henri-habrias-cb11906653j), [Institut de recherche en informatique. Nantes](https://superlivre.fr/auteur/institut-de-recherche-en-informatique-nantes-cb12307908w)
- **Première parution** : 1996
- **Langue** : français
- **Genres** : [Actes de congrès](https://superlivre.fr/genre/actes-de-congres-cb120611486), [B (méthode formelle)](https://superlivre.fr/genre/b-methode-formelle-cb12569468f)
- **Éditions recensées** : 1 (1996–1996)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1996 | [Institut de recherches en informatique de Nantes](https://superlivre.fr/editeur/institut-de-recherches-en-informatique-de-nantes) | Nantes | 353 | 2-906082-25-2 |