Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Подымов, Владислав Васильевич |
загрузить
в подборку |
Заглавие | Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой : автореферат дис. ... кандидата физико-математических наук : 01.01.09 | |
Выходные данные | Москва 2015 | |
Физическое описание | 24 с. | |
Тема | Дискретная математика и математическая кибернетика | |
Тема | Физико-математические науки -- Математика -- Прикладная математика | |
Тема | Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Верификация программного обеспечения | |
Ключевые слова |
теория схем программ |
|
Хранение | 9 15-1/2986; | |
Электронный адрес |
Электронный ресурс |