Каталог "Статии"
| Списания
Подходи за моделиране и верификация на програмно осигуряване
Даниела Орозова
Сп/37/Г 62
Детайли
- Източник
- Год. Бургаски свободен унив.
- Година на издаване
- 2020
- Страници
- с. 41-47
- Том
- Т. 42
- Ключови думи
- Софтуерни технологии, Програмно осигуряване
Допълнителна информация
- Отрасъл
- Общ отдел
- Системен №
- 85457
- Тематични рубрики
- Математика