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 |
|---|---|---|---|---|
| Exercices corrigés en langage Z | Alain Vailly, Pascal André | Ellipses | 2004 | 243 |
| ZB 2002 | Henri Habrias, International Z and B conference (02 ; 2002 ; Grenoble) | APCB | 2002 | 126 |
| Z twenty years on. What is its future ? | Henri Habrias |
| IUT |
| 1995 |
| 264 |
| La notation Z | J. Mike Spivey, Michel Lemoine | Masson | 1994 | 155 |
| La spécification formelle avec Z | David Lightfoot, Henri Habrias, Pierre-Marie Delpech | Teknea | 1994 | 191 |
