001.6424 / L822f2
Loeckx, Jacques
Foundations of program verification [2nd ed.]
/ Jacques Loeckx and Kurt Sieber
.- 2nd
.- Chichester, New York: John Wiley, 1987
.- ix, 230p .
.- ( Wiley-Teuoner Series In Computer Science
Subject Headings:
Computer Programs -- Verification;
Author Added Entry:
Sieber, Kurt;
Copy Details:
Acc. No.: A98334, Full Call No.: 001.6424 L822f2, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------