Customer Reviews


There are no customer reviews yet.  Create your own review

This product

Formal Development of Programs and Proofs
Formal Development of Programs and Proofs by E. W. Dijkstra (Hardcover - January 1, 1990)
Used & New from: $15.50
Add to wishlist See buying options