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