Подробное описание документа

Лисков Б., Гатэг Дж.
   Использование абстракций и спецификаций при разработке программ / Лисков Б., Гатэг Дж. ; пер. с англ. Жигалкин С. А., Усов С. А., Шехватов Д. Б. - М. : Мир, 1989. - 424 с. : ил. - Библиогр. в конце глав. - ISBN 5-03-000489-0.

Аннотация

В книге американских специалистов излагаются основные способы создания спецификаций программ, повышающих эффективность разработки информационно-программного обеспечения. Значительное внимание уделено языку программирования CLU, позволяющему поддерживать различные типы абстракций, реализованных на языках ПЛ/1, Паскаль и Ада.
Для системных программистов, аспирантов и студентов старших курсов вузов.

УДК

004.9 Прикладные информационные (компьютерные) технологии. Методы, основанные на применении компьютеров

Предметная рубрика

• Программное обеспечение ЭВМ прикладное - Спецификация

Общее кол-во в фондах

2 экз.

Заказать на абонемент

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313