Кузьменкова, Евгения Анатольевна - Формальная спецификация программ на языке 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 : Конспект лекций
Коллекции ЕЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК 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