Program construction and verification /
Backhouse, Roland C., 1948-
Program construction and verification / Roland C. Backhouse. - Englewood Cliffs, N.J. : Prentice-Hall International, c1986. - xi, 281 p. : ill. ; 24 cm.
Includes index.
Bibliography: p. 220-223.
0137291531 : 0137291469 (pbk.)
85-016883
Computer programming.
005
Program construction and verification / Roland C. Backhouse. - Englewood Cliffs, N.J. : Prentice-Hall International, c1986. - xi, 281 p. : ill. ; 24 cm.
Includes index.
Bibliography: p. 220-223.
0137291531 : 0137291469 (pbk.)
85-016883
Computer programming.
005