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