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

Auteur(s) : Conférence internationale B (01 ; 1996 ; Nantes)  Voir les notices liées en tant qu'auteur

Titre(s) : 1st Conference on the B method [Texte imprimé] : 8th International conference on Putting into practice methods and tools for information system design : November, 25-26-27, 1996, Nantes, France : proceedings / [organized by] IRIN, Institut de recherches en informatique de Nantes, Université de Nantes-École centrale de Nantes ; in co-operation with Département Informatique de l'Institut universitaire de technologie ; BUG and BIP ; ed., Henri Habrias

Publication : Nantes : Institut de recherches en informatique de Nantes, 1996

Impression : 44-Nantes : Impr. IUT Nantes

Description matérielle : 353 p. : ill., couv. ill. en coul. ; 30 cm

Note(s) : Autre forme du titre : "First B conference, Nantes, 25-26-27 November 1996". La couv. porte par erreur : "November, 24-25-26 1996". - Textes en anglais ou en français. - Notes bibliogr. Index. Résumés

Autre(s) auteur(s) : Habrias, Henri (1946-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Institut de recherche en informatique (Nantes). É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

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

Identifiants, prix et caractéristiques : ISBN 2-906082-25-2 (br.) : 375 F

Identifiant de la notice  : ark:/12148/cb35855631m

Notice n° :  FRBNF35855631