|
ВА870324 Лисенко, Сергій Миколайович. Формальні методи розроблення критичних систем [Текст] : навч. посіб. / Лисенко С. М., Харченко В. С., Медзатий Д. М. - Хмельницький : ХНУ, 2024. - 122 с. : рис., табл. - Бібліогр.: с. 110-120. - 100 (1-й вип. - 75) прим.
Тематичний рубрикатор:
Дод. точки доступу: Харченко, Вячеслав Сергійович; Медзатий, Дмитро Миколайович
Видання зберігається у :
Основний фонд
|
|