TY - BOOK AU - Лисков,Барбара AU - Гатэг,Джон AU - Жигалкин,С.А. TI - Использование абстракций и спецификаций при разработке программ SN - 5030004890 (русск.) PY - 1989/// CY - Москва PB - Мир KW - Вычислительные машины электронные - Программы - Спецификации KW - Вычислительные машины электронные - Программирование N1 - Оригинал на англ.; Abstraction and Specification in Program Development; Barbara Liskov, John Guttag; The Massachusetts Institute of Technology : 1986 ER -