Sujet RAMEAU de la BNF. · Voir l'autorité matière sur catalogue.bnf.fr
Seules figurent ici les œuvres que la BNF a explicitement rattachées à ce sujet (vedette RAMEAU du dépôt légal). Beaucoup d'ouvrages concernés n'en portent pas : cette liste n'est pas exhaustive.
| Titre | Auteur(s) | Éditeur | Année | Pages |
|---|---|---|---|---|
| ZB 2002 | Henri Habrias, International Z and B conference (02 ; 2002 ; Grenoble) | APCB | 2002 | 126 |
| Spécification formelle avec B | Henri Habrias, Jean-Yves Lafaye, Marie-Laure Potet | Hermès science publ. | 2001 | 414 |
| B'98 |
| APCB |
| 1998 |
| 128 |
| La méthode B | Karl Emeriau | IUT de Nantes, Département Informatique | 1997 | 355 |
| 1st Conference on the B method | Conférence internationale B (01 ; 1996 ; Nantes), Henri Habrias, Institut de recherche en informatique. Nantes | Institut de recherches en informatique de Nantes | 1996 | 353 |
| La méthode de spécification formelle B | Jean-Raymond Abrial | IUT informatique | 1995 | — |
