001.642 / B127p
Backhouse, Roland C.
Program construction and verification
/ Roland C. Backhouse
.- Englewood Cliffs, New Jersey: Prentice-Hall International, 1986
.- xi, 281p .
.- ( Prentice-Hall International Series In Computer Science
Subject Headings:
Electronic Digital Computer -- Programming;
Copy Details:
Acc. No.: A95180, Full Call No.: 001.642 B127p, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------