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