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

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

Titre(s) : Spécification formelle avec B [Texte imprimé] / Henri Habrias ; avec la collab. de Jean-Yves Lafaye, Marie-Laure Potet

Publication : Paris : Hermes science publ. : Lavoisier, 2001

Impression : 53-Mayenne : Impr. Floch

Description matérielle : 414 p. : ill., couv. ill. ; 24 cm

Collection : Collection Informatique

Lien à la collection : Collection Informatique (Paris. 1992)  Voir toutes les notices liées

Note(s) : Bibliogr. p. 407-414

Autre(s) auteur(s) : Lafaye, Jean-Yves. Collaborateur  Voir les notices liées en tant qu'auteur
Potet, Marie-Laure (1959-....). Collaborateur  Voir les notices liées en tant qu'auteur

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

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-7462-0302-2 (br.) : 87 EUR : 570,68 F

Identifiant de la notice  : ark:/12148/cb38851158q

Notice n° :  FRBNF38851158