Program construction and verification
By: Roland C. Backhouse.
Publisher: Prentice-Hall International
Published: 1986
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 281
Subjects: Computer programming.
Notes: Bibliography: p. 220-223.
Includes index.