| Найдено документов - 1 | Источник: Шапкин П. А. Система верифицируемых спецификаций программных компонентов с поддержкой встраивания и извлечения = A system of verifiable software component specifications with embedding and extrac... | Версия для печати |
Сортировать по:
1. Номер журнала
| Программные продукты и системы. № 1. - 2025. | |
| Экземпляры: | Всего: 1, из них: БУП ФЗИ-1 |
| Поиск: | Статьи из номера журнала (сборника) Источник |