Author: Dijkstra, Edsger W.
Title: Formal Development of Programs and Proofs.
Description: Addison Wesely. 1990. Owner's blind book stamp on titlepage. Hardcover with dustwrapper. Very good. Xiv,242pp.

Keywords: wete com