|
|
ВА619289
Кузьменкова, Евгения Анатольевна.
Формальная спецификация программ на языке RSL [Текст] : конспект лекций / Е. А. Кузьменкова, А. К. Петренко ; Московский гос. ун-т им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики. - М. : Издательский отдел фак. вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, 2001. - 107 с. - ISBN 5-89407-104-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Петренко, Александр Константинович; Московский гос. университет имени М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Видання зберігається у :
Основний фонд
|
|