Книги автора: Радо П. (1)

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

275 р.

Товар в корзине

Авторы: Деметрович Я. (1) Кнут Е. (1) Радо П. (1)

Издательство: Мир

Место издания: Москва

Тип переплёта: Мягкий

Год издания: 1989

Формат: Стандартный

Состояние: Как новая. Книга новая, легкая потертость корешка.

Всего томов: 1

На остатке: 1

275 р.

Товар в корзине

Аннотация

Под редакцией Ю.Г. Дадаева.
Перевод с английского Л.В. Шабанова.
В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала.
Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники.