Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://lib.mexmat.ru/books/35416
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 17:59:03 2016
Кодировка: Windows-1251
Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Использование абстракций и спецификаций при разработке программ
Авторы: Лисков Б., Гатэг Дж.
Аннотация:
В книге американских специалистов излагаются основные способы создания спецификаций программ, повышающих эффективность разработки информационно-программного обеспечения. Значительное внимание уделено языку программирования CLU, позволяющему поддерживать различные типы абстракций' реализованных на языках ПЛ/1, Паскаль и Ада.