Кучеров, Григорий Аронович - Спецификация абстрактных типов данных с помощью систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11

Карточка

Кучеров, Григорий Аронович.

Спецификация абстрактных типов данных с помощью систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / АН СССР. Сиб. отд-ние. Вычисл. центр. - Новосибирск, 1988. - 15 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
FB 9 88-2/2842-1
FB 9 88-2/2843-Х

Marc21

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

Показать

Описание

Автор
ЗаглавиеСпецификация абстрактных типов данных с помощью систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Дата поступления в ЭК 25.10.1988
Каталоги Авторефераты диссертаций
Сведения об ответственностиАН СССР. Сиб. отд-ние. Вычисл. центр
Выходные данныеНовосибирск, 1988
Физическое описание15 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодВ192.16с31,03
В192.14с31,03
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияFB 9 88-2/2842-1
FB 9 88-2/2843-Х