001.642 / C765p
Constable, Robert L.
PROGRAMMING LOGIC
/ WITH AN INTRODUCTION TO THE PL/CV VERIFIER
.- Cambridge: Winthrop Pub., 1978
.- x,389 .
References : P. 370-381
Subject Headings:
Pl/Cv (Computer Program Language);
Computer Programy -- Testing;
Logic, Symbolic And Mathematical;
Author Added Entry:
O'Donnell, Michael J.;
Copy Details:
Acc. No.: A60944, Full Call No.: 001.642 C765p, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------