System design from provably correct constructs :
Martin, James, 1933-2013.
System design from provably correct constructs : the beginnings of true software engineering / James Martin. - Englewood Cliffs, N.J. : Prentice-Hall, c1985. - xviii, 392 p. : ill. ; 25 cm.
Includes bibliographies and index.
013881483X : $37.50
84016063
System design.
Software engineering.
QA76.9.S88 / M37 1985
001.64/25
System design from provably correct constructs : the beginnings of true software engineering / James Martin. - Englewood Cliffs, N.J. : Prentice-Hall, c1985. - xviii, 392 p. : ill. ; 25 cm.
Includes bibliographies and index.
013881483X : $37.50
84016063
System design.
Software engineering.
QA76.9.S88 / M37 1985
001.64/25