URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Лисков Б., Гатег Дж. Использование абстракций и спецификаций при разработке программ: Пер. с англ.
Id: 132730
 

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

1989. 424 с.
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

ББК 32.97 Л63

УДК 681.3 Об

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

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

ISBN 5-03-000489-0

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

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

Редакция литературы по информатике и робототехнике

ISBN 5-03-000489-0 (русск.) © 1986 by The Massachusetts Institute

ISBN 0-262-12112-3 (англ.) of Technology

© перевод на русский язык, «Мир», 1989

 
© URSS 2016.

Информация о Продавце