Под редакцией Ю.Г. Дадаева.
Перевод с английского Л.В. Шабанова.
В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала.
Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники.
Дополнительно: Убедительная просьба к покупателям: задавайте все интересующие вопросы до оформления заказа с помощью опции "Спросить" (доступна только зарегистрированным участникам).
Цена книги указана без учета пересылки.
Заказы отправляются почтой или ТК Boxberry и СДЭК в течение 3-х рабочих дней после поступления оплаты. Суббота и воскресенье - выходные дни.
Пересылка Почтой России стоит от 150 рублей, в з... [подробнее]
Дополнительно: Книги доставляются только по России, почтой по предоплате на банковскую карту, или при личной встрече (в Москве, в м. Южная).
При личной встрече - покупка книг на сумму не менее 200 руб.
Стоимость почтовой пересылки не входит в стоимость книги.
Цены отправки рассчитываю на сайте Почты России, обычно стоимость от 200 руб (стоимость зависит от веса книг, места назначения пересылки, эта стоимость ... [подробнее]