Кучеров, Григорий Аронович. - Спецификация абстрактных типов данных с помощью систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / АН СССР. Сиб. отд-ние. Вычисл. центр. - Новосибирск, 1988. - 15 с.
Карточка
Экспресс-заказ фрагмента
Кучеров, Григорий Аронович.
Спецификация абстрактных типов данных с помощью систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / АН СССР. Сиб. отд-ние. Вычисл. центр. - Новосибирск, 1988. - 15 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
Спецификация абстрактных типов данных с помощью систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / АН СССР. Сиб. отд-ние. Вычисл. центр. - Новосибирск, 1988. - 15 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
FB 9 88-2/2842-1
FB 9 88-2/2843-Х
Описание
Автор | Кучеров, Григорий Аронович |
---|---|
Заглавие | Спецификация абстрактных типов данных с помощью систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 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-Х |