Formal development of programs and proofs /

Bibliographic Details
Other Authors:	Dijkstra, Edsger W.
Format:	Book
Language:	English
Published:	Reading, Mass. : Addison-Wesley, 1990.
Series:	UT year of programming series.
Subjects:	Computer programming > Congresses.

Description
Physical Description:	xiv, 242 pages : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	0201172372