TY  - BOOK
AU  - Деметрович,Янош
AU  - Кнут,Элод
AU  - Радо,Петер
AU  - Дадаев,Юрий Георгиевич
AU  - Шабанов,Л.В.
TI  - Автоматизированные методы спецификации
SN  - 5030004874
PY  - 1989///
CY  - М.
PB  - Мир
KW  - Вычислительные системы - Программы - Спецификация
KW  - rurkp
N1  - Библиогр.: с. 112-115 (76 назв.)
ER  -