Formal development of programs and proofs
By: edited by Edsger W. Dijkstra.
Contributors: Dijkstra, Edsger Wybe
Series: The UT year of programming series
Publisher: Addison-Wesley
Published: 1990
Place of publication: Reading, Mass
Language: eng
Number of pages: 242
Subjects: Computer programming -- Congresses.
Notes: Includes bibliographical references.