Formal Development of Programs and Proofs (The Ut Year of Programming Series) - Hardcover

Dijkstra, Edsger W.

 
9780201172379: Formal Development of Programs and Proofs (The Ut Year of Programming Series)