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

Auteur(s) : Jones, Cliff B.. Auteur du texte  Voir les notices liées en tant qu'auteur

Titre(s) : VDM, une méthode rigoureuse pour le développement du logiciel [Texte imprimé] / Cliff B. Jones,... ; préf. de C.A.R. Hoare ; trad. de la 2e éd. [anglaise] par Michel Lemoine

Traduction de : Systematic software development using VDM

Publication : Paris : Masson ; London : Prentice Hall, 1993

Impression : 61-Lonrai : Normandie roto impr., 1992

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

Collection : Méthodologies du logiciel ; 1

Lien à la collection : Méthodologies du logiciel (Paris)  Voir toutes les notices liées

Autre(s) auteur(s) : Lemoine, Michel (1947-.... ; ingénieur). Traducteur  Voir les notices liées en tant qu'auteur

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

Identifiants, prix et caractéristiques : ISBN 2-225-82812-1 (br.) : 290 F

Identifiant de la notice  : ark:/12148/cb355491335

Notice n° :  FRBNF35549133