Л63 Лисков, Барбара. Использование абстракций и спецификаций при разработке программ [] = Abstraction and Specification in Program Development / Б. Лисков, Дж. Гатэг ; пер. с англ. : С. А. Жигалкина, С. А. Усова, Д. Б. Шехватова. - М. : Мир, 1989. - 424 с. : рис., табл. - Библиогр. в конце глав. - Прил.: с. 329-417. - Предм. указ.: с. 418-420. - ISBN 5-03-000489-0 : 2.20 р.
Рубрики: Програмування--Мови програмування--Програмне забезпечення--Наукові видання Кл.слова (ненормовані): язык программирования СLU -- мова програмування CLU -- процедурная абстракция -- процедурна абстракція -- абстракции данных -- абстракції даних -- исключительные ситуации -- виключні ситуації -- абстракция итерации -- абстракція інтерації -- язык Паскаль -- мова Паскаль -- спецификации -- специфікації -- тестирование -- тестування -- процесс верификации программ -- процес верифікації програм -- разработка программ -- розробка програм -- проектирование -- проектування Анотація: Способы создания специфических программ, повышающих эффективность разработки информационно-программного обеспечения. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Гатэг, Джон; Жигалкин, С. А. \пер.\; Усов, С. А. \пер.\; Шехватова, Д. Б. \пер.\ Примірників всього: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |