Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)
by:
J.W.de Bakker (author)
Format: hardcover
ISBN:
9780135621325 (0135621321)
Publish date: July 1st 1980
Publisher: Prentice Hall
Pages no: 505
Edition language: English