Catalogue en ligne Faculté des Mathématiques et de l'Informatique

Bibliothèque de Faculté des mathématiques et de l'informatique

Bibliothèque centrale SNDL IQRAA_OPU

Nouvelle recherche

Détail d'une collection

Méthodologies du logiciel (Paris)

Editeur :

Masson

ISSN :

1242-5656

Documents disponibles dans la collection (1)

Affiner la recherche Interroger des sources externes

VDM, une méthode rigoureuse pour le développement du logiciel / Cliff B. Jones

Public

ISBD

Titre : VDM, une méthode rigoureuse pour le développement du logiciel
Type de document : texte imprimé
Auteurs : Cliff B. Jones (1944-....), Auteur ; Michel Lemoine (1947-....), Traducteur
Editeur : Paris : Masson
Année de publication : 1993
Autre Editeur : Prentice Hall
Collection : Méthodologies du logiciel (Paris), ISSN 1242-5656 num. 1
Importance : 290 p.
Présentation : ill., couv. ill. en coul.
Format : 24 cm.
ISBN/ISSN/EAN : 2-225-82812-1
Note générale : Bibliogr. p.285-286. Index.
Langues : Français (fre) Langues originales : Anglais (eng)
Index. décimale : 08-02 Logiciels et programmation

VDM, une méthode rigoureuse pour le développement du logiciel [texte imprimé] / Cliff B. Jones (1944-....), Auteur ; Michel Lemoine (1947-....), Traducteur . - Paris : Masson : Prentice Hall, 1993 . - 290 p. : ill., couv. ill. en coul. ; 24 cm.. - (Méthodologies du logiciel (Paris), ISSN 1242-5656; 1) .
ISBN : 2-225-82812-1
Bibliogr. p.285-286. Index.
Langues : Français (fre) Langues originales : Anglais (eng)
Index. décimale : 08-02 Logiciels et programmation

Réservation
Réserver ce document

Exemplaires (1)

Code-barres Cote Support Localisation Section Disponibilité
102179 08-02-1142 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible