# ZB 2002 : Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting], Education session proceedings

> Fiche œuvre du catalogue https://superlivre.fr/livre/zb-2002-cb389492357 (données du dépôt légal BnF).

- **Auteur** : [International Z and B conference (02 ; 2002 ; Grenoble)](https://superlivre.fr/auteur/international-z-and-b-conference-02-2002-grenoble-cb14451600b)
- **éditeur intellectuel** : [Henri Habrias](https://superlivre.fr/auteur/henri-habrias-cb11906653j)
- **Première parution** : 2002
- **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), [Z (méthode formelle)](https://superlivre.fr/genre/z-methode-formelle-cb12258426j)
- **Éditions recensées** : 1 (2002–2002)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2002 | [APCB](https://superlivre.fr/editeur/apcb) | [Nantes] | 126 | 2-9512461-1-0 |