Essays in Computing Science Including References, Biography and Index (Prentice Hall International Series in Computer Science) has been tagged proofs of correctness 1 time…

Essays in Computing Science Including References, Biography and Index (Prentice Hall International Series in Computer Science)
by C.A.R. Hoare
→ See this at Amazon.com

People who have tagged this item proofs of correctness

Larry Hosken

in San Francisco