6П2.154 Д303 Деметрович, Янош. Автоматизированные методы спецификации : научное издание / Я. Деметрович, Э. Кнут, П. Радо ; Пер. с англ. Л. В. Шабанова ; Под ред. Ю. Г. Дадаева. - М. : Мир, 1989. - 115 с. - ISBN 5-03-000487-4 : 0.50 р. ГРНТИ 50.41 УДК:004.4 Ключевые слова: спецификация программ Доп.точки доступа: Кнут, Э. --- Радо, Петер --- Шабанов, Л.В. \пер.\ --- Дадаев, Ю.Г. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |