Кузьменкова, Евгения Анатольевна - Формальная спецификация программ на языке RSL : Конспект лекций

Карточка

Кузьменкова, Евгения Анатольевна.

Формальная спецификация программ на языке RSL : Конспект лекций / Е.А. Кузьменкова, А.К. Петренко; Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычисл. математики и кибернетики. - М. : Издат. отд. Фак. вычисл. математики и кибернетики МГУ им. М.В. Ломоносова, 2001. - 107 с. : ил.; 21 см.; ISBN 5-89407-104-6
Вычислительные машины электронные цифровые -- Языки программирования -- RLS -- Лекции для высшей школы
FB 3 01-21/400-3
FB 3 01-21/401-1

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеФормальная спецификация программ на языке RSL : Конспект лекций
Дата поступления в ЭК 15.06.2001
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиЕ.А. Кузьменкова, А.К. Петренко; Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычисл. математики и кибернетики
Выходные данныеМ. : Издат. отд. Фак. вычисл. математики и кибернетики МГУ им. М.В. Ломоносова, 2001
Физическое описание107 с. : ил.; 21 см
ISBNISBN 5-89407-104-6
ТемаВычислительные машины электронные цифровые -- Языки программирования -- RLS -- Лекции для высшей школы
BBK-кодЗ973.2-018.19RLS.я73-2
ЯзыкРусский
Места храненияFB 3 01-21/400-3
FB 3 01-21/401-1