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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------