Язык Ада в проектировании систем

Автор: Роберт Дж. Бар
Жанр: Литература ХX века (эпоха Социальных революций); Советские издания; Программирование: прочее; Ada

https://clib.me/b/519734-robert-dzh-bar-yazyik-ada-v-proektirovanii-sistem

В книге американского специалиста рассматривается методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада. Значительное внимание уделяется принципам формализованного описания проектируемых систем, обеспечивающим концептуальное единство всех их компонентов и возможность прямого преобразования системных представлений в Ада-программы. Изложение иллюстрируется множеством примеров, позволяющих легко освоить предлагаемую методологию.
    Для разработчиков автоматизированных систем управления, системных и прикладных программистов» а также студентов соответствующих специальностей вузов.
https://clib.mei/djvu/519734.jpg