TY  - BOOK
AU  - Лисков,Б.
AU  - Гатэг,Дж
TI  - Использование абстракций и спецификаций при разработке программ: пер. с англ
SN  - 5030004890
PY  - 1989///
CY  - М.
PB  - Мир
KW  - Вычислительные машины электронные
KW  - Программы
KW  - Программирование
ER  -