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

Auteur(s) : Lano, Kevin (1963-....)  Voir les notices liées en tant qu'auteur

Titre(s) : The B language and method [Texte imprimé] : a guide to practical formal development / K. Lano

Publication : London : Springer, cop. 1996

Description matérielle : 232 p. : ill. ; 24 cm

Collection : Formal approaches to computing and information technology

Lien à la collection : FACIT. Formal approaches to computing and information technology  Voir toutes les notices liées

Note(s) : Index

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

Indice(s) Dewey :  005.120 15113 (23e éd.) = Analyse et conception des systèmes de logiciels (informatique) - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3540760334 (br.)

Identifiant de la notice  : ark:/12148/cb375101418

Notice n° :  FRBNF37510141 (notice reprise d'un réservoir extérieur)