График выхода изданий
- №2 Июнь 2026Статьи принимаются до: 29 Мая 2026
- №3 Сентябрь 2026Статьи принимаются до: 31 Августа 2026
- №4 Декабрь 2026
Последние выпуски
Подкопаев Антон Викторович
Место работы
Санкт-Петербургский государственный университет
199034, Россия, Санкт-Петербург, Университетская наб., д. 7-9.
О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3
- Год: 2017
- Том: 10
- Выпуск: 4
- 36
- 9054
- Страницы: 51-69
Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL
- Год: 2011
- Выпуск: 4
- 0
- 8252
- Страницы: 142-145
Реляционное программирование с мемоизацией и отрицанием
- Год: 2018
- Том: 11
- Выпуск: 2
- 17
- 9148
- Страницы: 35-46