B (méthode formelle) — 6 œuvres
← Tous les sujets B (méthode formelle) Sujet RAMEAU de la BNF. · Voir l'autorité matière sur catalogue.bnf.fr
Œuvres classées 6
Période 1995–2002
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.
Œuvres récentes 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 Association de pilotage des conférences B , B user group , Conférence internationale B (02 ; 1998 ; Montpellier) , Groupe des utilisateurs de Z , Henri Habrias , Laboratoire d'informatique, de robotique et de micro-électronique. Montpellier , Steve E. Dunne 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 —