Лисков Б., Гатэг Дж.

Использование абстракций и спецификаций при разработке программ:
Пер. с англ.

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

Для системных программистов, аспирантов и студентов старших курсов вузов. (Подробнее)