ББК 32.97 Л63

УДК 681.3 Об

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

Л63 Использование абстракций и спецификаций при разработке программ: Пер. с англ. — М.: Мир, 1989. — 424 с, ил.

ISBN 5-03-000489-0

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