Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : International Z and B conference (02 ; 2002 ; Grenoble)  Voir les notices liées en tant qu'auteur

Titre(s) : ZB 2002 [Texte imprimé] : Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting] : Education session proceedings / [the 2nd International Z and B conference] ; [organized by the] APCB, International B conference steering committee [and the Z user group] ; [ed. by Henri Habrias]

Publication : [Nantes] (2 rue de la Houssinière, 44322 Cedex 3) : [APCB], 2002

Impression : 44-Nantes : Impr. IUT

Description matérielle : 126 p. et f. 127-145 : ill. ; 30 cm

Note(s) : APCB = Association de pilotage des conférences B. - Textes des communications en anglais ou en français. - Résumés en français et en anglais

Autre(s) auteur(s) : Habrias, Henri (1946-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : B (méthode formelle)  Voir les notices liées en tant que sujet
Z (méthode formelle)  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 2-9512461-1-0 (br.) : 15 EUR

Identifiant de la notice  : ark:/12148/cb389492357

Notice n° :  FRBNF38949235