System design from provably correct constructs : the beginnings of true software engineering

Enregistré dans:
Détails bibliographiques
Auteur principal : Martin James (Auteur)
Format : Livre
Langue : anglais
Titre complet : System design from provably correct constructs : the beginnings of true software engineering / James Martin
Publié : Englewood Cliffs, N.J. : Prentice-Hall , C 1985
Description matérielle : 1 vol. (392 p.)
Sujets :

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
Cote Prêt Statut
Bibliothèque 68C181 Prêt sans prolongation Disponible