ТЕОРИЯ ПРОГРАММИРОВАНИЯ: ФОРМАЛЬНЫЕ МОДЕЛИ И СЕМАНТИКА

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