000 00662nam a22002297a 4500
003 SNU
005 20140703172949.0
008 140703b xxu||||| |||| 00| 0 eng d
020 _a9780262121125
028 _aHCL
082 _a005.12 LIS
100 _aLiskov, Barbara
_aGuttag, John
245 _aAbstraction and specification in program development
_c/ Barbara Liskov; John Guttag
260 _aCambridge, Mass.
_b: MIT Press
_c©1986.
300 _axv, 469 p.
_b: ill.
_c; 24 cm.
655 _aComputer programming.
655 _aPASCAL.
655 _aLiskov, Barbara
655 _aGuttag, John
655 _aComputer Science
942 _2ddc
_cHCL
999 _c14240
_d14240