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 de l'auteur

Auteur Cliff B. Jones (1944-....)

Documents disponibles écrits par cet auteur (2)

Affiner la recherche Interroger des sources externes

Formal specification and software development / Dines

Public

ISBD

Titre : Formal specification and software development
Type de document : texte imprimé
Auteurs : Dines (1937-....), Auteur ; Cliff B. Jones (1944-....), Auteur
Editeur : Prentice Hall
Année de publication : 1982
Importance : 501 p.
Présentation : couv. en coul. ill.
Format : 24 cm.
ISBN/ISSN/EAN : 978-0-13-329003-5
Note générale : Index.
Langues : Anglais (eng)
Index. décimale : 08-02 Logiciels et programmation

Formal specification and software development [texte imprimé] / Dines (1937-....), Auteur ; Cliff B. Jones (1944-....), Auteur . - Prentice Hall, 1982 . - 501 p. : couv. en coul. ill. ; 24 cm.
ISBN : 978-0-13-329003-5
Index.
Langues : Anglais (eng)
Index. décimale : 08-02 Logiciels et programmation

Exemplaires (1)

Code-barres Cote Support Localisation Section Disponibilité
24274 08-02-203 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Exclu du prêt

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