График выхода изданий
- №3 Сентябрь 2026Статьи принимаются до: 31 Июля 2026
- №4 Декабрь 2026
- №1 Март 2027
- №2 Июнь 2027
Последние выпуски
Прокопенко Артем Сергеевич
1414700, Московская обл., Долгопрудный, Институтский пер., д. 9.
Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP
- Год: 2010
- Выпуск: 6
- 0
- 9006
- Страницы: 127-135