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