Д 30 Деметрович, Янош. Автоматизированные методы спецификации [Текст] = Computer-Aided Specification Technigues : научное издание / Я. Деметрович, Э. Кнут, П. Радо ; ред. Ю. Г. Дадаев ; пер. Л. В. Шабанов. - Москва : Мир, 1989. - 115 с. : ил. ; 20см. - (Автоматизированные методы спецификации). - Библиогр.: с. 112-115(76). - 20000 экз.. - ISBN 5-03-000487-4 : 0.50 р.
программирование Кл.слова (ненормированные): СПЕЦИФИКАЦИЯ ДАННЫХ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ Доп.точки доступа: Кнут, Элод; Радо, Петер; Дадаев, Ю. Г. \ред.\; Шабанов, Л. В. \пер.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |