В книге американского специалиста рассматривается методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада. Значительное внимание уделяется принципам формализованного описания проектируемых систем, обеспечивающим концептуальное единство всех их компонентов и возможность прямого преобразования системных представлений в Ада-программы. Изложение иллюстрируется множеством примеров, позволяющих легко освоить предлагаемую методологию. Для разработчиков автоматизированных систем управления, системных и прикладных программистов, а также студентов соответствующих спецпиальностей вузов.
Дополнительно: Пересылку книг почтой России провожу с объявлением ценности на сумму предполагаемой покупки. По просьбе покупателя могу выслать без объявления ценности. Возможна доставка СДЭК, Boxberry. Оплата переводом на банковский счет (карту) Сбербанка.
За пределы РФ книги не высылаю.
В период с 3.05.2024 по 17.05.2024 не смогу произвести отправку заказанных книг, но для тех, кто оформит и оплатит заказ... [подробнее]
Дополнительно: ГРАЖДАНЕ ПОКУПАТЕЛИ! ПРЕЖДЕ, ЧЕМ ОФОРМЛЯТЬ ЗАКАЗ, ПРОЧТИТЕ УСЛОВИЯ!
Если вы особо чувствительны к состоянию книг, то прежде чем, оформлять заказ, выйдите на связь с продавцом, воспользовавшись функцией "СПРОСИТЬ" (только для зарегистрированных пользователей), поскольку ваше понимание "хорошего" и "отличного" может не совпадать с таковым пониманием продавца.
Встреча по договоренности происходит б... [подробнее]
Дополнительно: Книги доставляются только по России, почтой по предоплате на банковскую карту, или при личной встрече (в Москве, в м. Южная).
При личной встрече - покупка книг на сумму не менее 200 руб.
Стоимость почтовой пересылки не входит в стоимость книги.
Цены отправки рассчитываю на сайте Почты России, обычно стоимость от 200 руб (стоимость зависит от веса книг, места назначения пересылки, эта стоимость ... [подробнее]