000 01332nam a22002777a 4500
003 Ge_NSL
005 20161130130357.0
008 161130s1989 ru ||||| j 00| 0 rus d
020 _a5030004890
041 _arus
_henk
080 _a681.3.06
100 _aЛисков, Барбара
245 _aИспользование абстракций и спецификаций при разработке программ /
_cБ. Лисков, Дж. Гатэг ; Перевод с англ. С. А. Жигалкина и др.
264 _aМосква :
_bМир,
_c1989.
300 _a424 с.
500 _a Перевод изд.: Abstraction and specification in program development / Barbara Liskov, John Guttag (New Уork etc.).
504 _aПредм. указ. : с. 418-420.
653 _aკომპიუტერული ტექნიკა
653 _aგამოყენების აბსტრაქციები
653 _aელექტრონული გამომთვლელი მანქანა
653 _aელექტრონული პროგრამის სპეციფიკაციები
653 _aპროგრამირება
700 _aГатэг, Джон
700 _aЖигалкин, С. А.
942 _2udc
_cBK
999 _c95204
_d95204