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

Auteur(s) : Abrial, Jean-Raymond (1938-....)  Voir les notices liées en tant qu'auteur

Titre(s) : La méthode de spécification formelle B [Texte imprimé] : construction de modèles mathématique / Jean-Raymnd Abrial

Publication : Nantes : IUT informatique, 1995

Impression : 44-Nantes : Impr. IUT Nantes

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

Identifiants, prix et caractéristiques : ISBN 2-906082-20-1 (br.)

Identifiant de la notice  : ark:/12148/cb37062823x

Notice n° :  FRBNF37062823