Поиск :
Личный кабинет :
Электронный каталог: Абрамов, С. М. - Метавычисления
Абрамов, С. М. - Метавычисления
Нет экз.
Электронный ресурс
Автор: Абрамов, С. М.
Метавычисления : сборник задач
Издательство: Университет города Переславля, 2016 г.
ISBN 978-5-901795-26-2
Автор: Абрамов, С. М.
Метавычисления : сборник задач
Издательство: Университет города Переславля, 2016 г.
ISBN 978-5-901795-26-2
На полку
Электронный ресурс
32.973-018
Абрамов, С. М.
Метавычисления : сборник задач / Л.В. Парменова. – Переславль-Залесский : Университет города Переславля, 2016. – 27 с. – URL: http://biblioclub.ru/index.php?page=book&id=454267 . – На рус. яз. – ISBN 978-5-901795-26-2.
Сборник задач по специальному курсу теории метавычислений, составлен сотрудниками Института программных систем РАН и преподавателями Университета города Переславля, предоставляет вопросы и задания для контроля овладения методами анализа и преобразования программ за счет реализации конструктивных метасистем (метапрограмм) над программами.Для студентов и аспирантов, изучающих методы автоматического преобразования программ.
ББК 32.973-018
681.322
32.973-018
Абрамов, С. М.
Метавычисления : сборник задач / Л.В. Парменова. – Переславль-Залесский : Университет города Переславля, 2016. – 27 с. – URL: http://biblioclub.ru/index.php?page=book&id=454267 . – На рус. яз. – ISBN 978-5-901795-26-2.
Сборник задач по специальному курсу теории метавычислений, составлен сотрудниками Института программных систем РАН и преподавателями Университета города Переславля, предоставляет вопросы и задания для контроля овладения методами анализа и преобразования программ за счет реализации конструктивных метасистем (метапрограмм) над программами.Для студентов и аспирантов, изучающих методы автоматического преобразования программ.
ББК 32.973-018
681.322