Items related to Proving Programmes Correct

Proving Programmes Correct - Softcover

Anderson, Robert B.

 
9780471033950: Proving Programmes Correct