Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation
Auteur(s) : Conférence internationale B (02 ; 1998 ; Montpellier)
Titre(s) : B'98 [Texte imprimé] : educational session proceedings / the 2nd International B conference, Montpellier, France, April 22-24, 1998 ; organized by the B conference steering committee, APCB ; supported by the Z user group, ZUG [and] the B user group, BUG and the LIRM, University of Montpellier, France ; ed. by Henri Habrias, Steve E. Dunne
Publication : Nantes (2 rue de la Houssinière, 44322 Cedex 3) : APCB, 1998
Impression : 44-Nantes : Impr. IUT
Description matérielle : 128 p. : ill. ; 30 cm
Note(s) : APCB = Association de pilotage des conférences B. - Textes en anglais ou en français.
- Notes bibliogr.
Autre(s) auteur(s) : Habrias, Henri (1946-....). Éditeur scientifique
Dunne, Steve E.. Éditeur scientifique
Association de pilotage des conférences B. Éditeur scientifique
Groupe des utilisateurs de Z. Éditeur scientifique
B user group. Éditeur scientifique
Laboratoire d'informatique, de robotique et de micro-électronique (Montpellier). Éditeur scientifique
Sujet(s) : B (méthode formelle)
Genre ou forme : Actes de congrès
Identifiants, prix et caractéristiques : ISBN 2-9512461-0-2 (br.) : 120 F
Identifiant de la notice : ark:/12148/cb36703011s
Notice n° :
FRBNF36703011