Mathematical Theory of Program Correctness

Mathematical Theory of Program Correctness

by J. W. de Bakker

Hardcover

$37.99 $55.33 Save 31% Current price is $37.99, Original price is $55.33. You Save 31%.

Product Details

ISBN-13: 9780135621325
Publisher: Prentice Hall International, Incorporated
Publication date: 01/01/1980
Series: Prentice-Hall International Series in Computer Science
Pages: 505

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews