1. Деметрович, Я. Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут, П. Радо ; перевод с английского Л. В. Шабанова ; под редакцией Ю. Г. Дадаева УДК 519.683. — ББК 32.973Издательство: Москва : Мир, 1989Физическая характеристика: 115 с. : табл.

Действия: Заказать Зарегистрируйтесь, чтобы добавлять метки. Добавить в корзину
Языки: