001.642 / L688a
Liskov, Barbara
ABSTRACTION AND SPECIFICATION IN PROGRAM DEVELOPMENT
/
.- Cambridge: Mit Press, 1986
.- xv,469 .
.- ( Mit Electrical Engg. And Computer Science Series
Subject Headings:
Electronic Digital Computers -- Programming;
Author Added Entry:
Guttag, John;
Copy Details:
Acc. No.: A94217, Full Call No.: 001.642 L688a, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------