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

Bibliographic Details

Main Author:	Martin, James, 1933-2013
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. : Prentice-Hall, [1985]
Subjects:	System design. Computer programming. Debugging in computer science.