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