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