Program construction and verification / Roland Carl Backhouse

Public ISBD Titre : Program construction and verification Type de document : texte imprimé Auteurs : Roland Carl Backhouse (1948-....), Auteur Editeur : Englewood Cliffs, N.J. : Prentice-Hall International Année de publication : 1986 Importance : 281 p. Présentation : couv. en coul. ill. Format : 24 cm. ISBN/ISSN/EAN : 978-0-13-729153-3 Note générale : Index. Langues : Anglais (eng) Index. décimale : 08-02 Logiciels et programmation Program construction and verification [texte imprimé] / Roland Carl Backhouse (1948-....), Auteur . - Englewood Cliffs, N.J. : Prentice-Hall International, 1986 . - 281 p. : couv. en coul. ill. ; 24 cm. ISBN : 978-0-13-729153-3 Index. Langues : Anglais (eng) Index. décimale : 08-02 Logiciels et programmation

Exemplaires (1)

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

---

1 (1 - 1 / 1) Par page : 25 50 100 200