Название: Использование абстракций и спецификаций при разработке программ
Автор: Лисков Б., Гатэг Дж.
Издательство: М.: Мир,
Год: 1989
ISBN: 5-03-000489-0
Страниц: 424
Формат: pdf и djvu
Качество: хорошее
Размер файла: 25.25 MB
Язык: русский

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