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

1,040.00 грн.

Категория: Компьютерная литература Автор: Р. Бар Издательство: Книга по Требованию Дата издания: 2012 г. Количество страниц: 319 стр. Обложка: Мягкая обложка Язык: русский

Артикул: 3f6117b2865d Категория:

Описание

В книге американского специалиста рассматривается методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада. Значительное внимание уделяется принципам формализованного описания проектируемых систем, обеспечивающим концептуальное единство всех их компонентов и возможность прямого преобразования системных представлений в Ада-программы. Изложение иллюстрируется множеством примеров, позволяющих легко освоить предлагаемую методологию. Для разработчиков автоматизированных систем управления, системных и прикладных программистов, а также студентов соответствующих специальностей вузов. Воспроизведено в оригинальной авторской орфографии издания 1988 года (издательство «Мир»). От Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand компанией ООО «Книга по Требованию». Print-on-Demand — это технология печати книг по Вашему заказу на цифровом типографском оборудовании. Книга, произведенная по технологии Print-on-Demand (POD) представляет собой классическую печатную книгу с соблюдением всех стандартов качества, от офсетной бумаги и плотного картона до качественного клея, используемого при изготовлении. Черно-белая текстовая или полноцветная иллюстрированная книга может быть изготовлена в разных вариантах: — в мягкой обложке (Клеевое Бесшвейное Скрепление); — скрепление скобой (для книг с небольшим количеством страниц); — в твердом переплете с клееным текстовым блоком; Материалы, используемые при производстве книги: — бумага текстового блока — офсетная (белая или кремовая) 80 г/м2 — мягкая обложка — бумага мелованная 250 г/м2; — ламинация обложки — матовая или глянцевая; — твердый переплет — картон 2 мм, каптал, белые форзацы, прямой корешок — сверхпрочный полимерный клей; — каждая книга упакована в термопленку Каждый заказ обрабатывается в индивидуальном порядке: каждой книге, напечатанной по технологии Print-on-Demand, присваивается уникальный номер.