ТЕОРИЯ ПРОГРАММИРОВАНИЯ: ФОРМАЛЬНЫЕ МОДЕЛИ И СЕМАНТИКА
| Выпуск | Название | Файл | |
| № 5 (2024) | Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка моделирования EXPRESS |
 (Rus) |
|
| Семенов В.А., Морозов С.В., Аришин С.В., Кузина О.Н., Римшин В.И., Макиша Е.В. | |||
| № 1 (2024) | Нечеткая мера на р-адических шарах, заданных на ограниченном числовом множестве |
(Rus) |
|
| Бочарников В.П., Свешников С.В. | |||
| 1 - 2 из 2 результатов | |||