TY  - BOOK
AU  - Лисков, Барбара
AU  - Гатэг, Джон
AU  - Жигалкин, С. А.
TI  - Использование абстракций и спецификаций при разработке программ
SN  - 5030004890
PY  - 1989///
CY  - Москва
PB  - Мир
KW  - კომპიუტერული ტექნიკა
KW  - გამოყენების აბსტრაქციები
KW  - ელექტრონული გამომთვლელი მანქანა
KW  - ელექტრონული პროგრამის სპეციფიკაციები
KW  - პროგრამირება
N1  -  Перевод изд.: Abstraction and specification in program development / Barbara Liskov, John Guttag (New Уork etc.); Предм. указ. : с. 418-420
ER  -