000 01159cam a2200325 i 4500
999 _c9502
_d9502
001 vtls001646265
003 NUKAT
005 20180510133341.0
008 990531s1989 ru |000 0 rusoc
020 _a5030004890
035 _axx001646265
039 9 _a201703020016
_bAUTHORITY
_c201610181114
_dkoppw
_c201305100119
_dVLOAD
_c201305091001
_dqkr
040 _aNUKAT
_cWA U/MK
_dWA U/KRauto
041 1 _arus
_heng
100 1 _aLiskov, Barbara.
245 1 0 _aIspol'zovanie abstrakcij i specifikacij pri razrabotke programm /
_cB. Liskov, Dž. Gateg ; per. s angl. S. A. Žigalkina [et al.].
246 1 _iTyt. oryg.:
_aAbstraction and specification in program development
260 _aMoskva :
_bMir,
_c1989.
300 _a424 s. ;
_c22 cm.
650 _aKomputery
_xprogramowanie.
_91167
700 1 _aGuttag, John.
700 1 _aŽigalkin, S. A.
_eTł.
710 2 _aIzdatelʹstvo "Mir" (Moskwa).
_4pbl
942 _2ddc
_cBK