Description: Formal development of programs and proofs /

Other Authors:	Dijkstra, Edsger Wybe
Format:	Book
Language:	English
Published:	Reading, Mass. : Addison-Wesley, c1990.
Subjects:	Computer programming

Physical Description:	xiv, 242 p. : ill. ; 25 cm.
Bibliography:	Includes bibliographical references.
ISBN:	0201172372