Система работает в тестовом режиме. Предыдущая версия поиска доступна по ссылке.

Коляда, Сергей Владимирович - Использование символьных преобразований в исследовании свойств программ : автореферат дис. ... кандидата физико-математических наук : 01.01.09

Карточка

Коляда, Сергей Владимирович.

Использование символьных преобразований в исследовании свойств программ : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Киев. гос. ун-т им. Т. Г. Шевченко. - Киев, 1988. - 12 с.
Математическая кибернетика
9 89-2/4150-1
9 89-2/4151-x

Marc21

Показать

Описание

Автор
ЗаглавиеИспользование символьных преобразований в исследовании свойств программ : автореферат дис. ... кандидата физико-математических наук : 01.01.09
Дата поступления в ЭК 03.05.1989
Каталоги Авторефераты диссертаций
Сведения об ответственностиКиев. гос. ун-т им. Т. Г. Шевченко
Выходные данныеКиев, 1988
Физическое описание12 с.
ТемаМатематическая кибернетика
BBK-кодЗ973.2-018-5-05,0
Специальность01.01.09: Дискретная математика и математическая кибернетика
ЯзыкРусский
Места хранения9 89-2/4150-1
9 89-2/4151-x