Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science) - Softcover

Bakker, J. W. De

 
9780135621325: Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)