Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)
Author: M. De Bakker, J. W. De Bakker List Price: $48.95 Our Price: Click to see the latest and low price ISBN: 0135621321 Publisher: Prentice Hall (June, 1981) Edition: Textbook Binding Sales Rank: 1,892,329