System design from provably correct constructs / Martin, James

Public ISBD Titre : System design from provably correct constructs Type de document : texte imprimé Auteurs : Martin, James Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc. Année de publication : 1985 Importance : xviii - 392 p. ISBN/ISSN/EAN : 978-0-13-881483-0 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Mots-clés : computer science  programming  system design Index. décimale : 68C Monographie System design from provably correct constructs [texte imprimé] / Martin, James . - Englewood Cliffs, NJ : Prentice-Hall, Inc., 1985 . - xviii - 392 p. ISBN : 978-0-13-881483-0 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Mots-clés : computer science  programming  system design Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15818	68C181	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1