ISBN 9780135621325 books & textbook

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

Prentice-Hall International /1980-01T Paperback / 505 Pages
isbn-10: 0135621321 / isbn-13: 9780135621325