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