Пошук :
Довідка :
Електронний каталог : Лисенко, Сергій Миколайович - Формальні методи розроблення критичних систем
Лисенко, Сергій Миколайович - Формальні методи розроблення критичних систем
Книга
Автор: Лисенко, Сергій Миколайович
Формальні методи розроблення критичних систем : навч. посіб.
Видавництво: ХНУ, 2024 г.
ISBN 978-966-330-433-5
Автор: Лисенко, Сергій Миколайович
Формальні методи розроблення критичних систем : навч. посіб.
Видавництво: ХНУ, 2024 г.
ISBN 978-966-330-433-5
(UA) Книга
XIII> 72245
940140 Главный филиал
Лисенко, Сергій Миколайович.
Формальні методи розроблення критичних систем : навч. посіб. / Сергій Миколайович Лисенко, Вячеслав Сергійович Харченко, Дмитро Миколайович Медзатий, Хмельн. нац. ун-т.– Хмельницький : ХНУ, 2024.– 122 с. : табл.
100 пр.– Бібліогр.: с. 110-120 . – На укр. яз.
ISBN 978-966-330-433-5.
УДК 004.421:681.5](075.8)
-- 1. Системи програмні, критичні – Підручники, посібники. 2. Інфраструктура, критична – Технології, інформаційні – Підручники, посібники.
XIII> 72245
940140 Главный филиал
Лисенко, Сергій Миколайович.
Формальні методи розроблення критичних систем : навч. посіб. / Сергій Миколайович Лисенко, Вячеслав Сергійович Харченко, Дмитро Миколайович Медзатий, Хмельн. нац. ун-т.– Хмельницький : ХНУ, 2024.– 122 с. : табл.
100 пр.– Бібліогр.: с. 110-120 . – На укр. яз.
ISBN 978-966-330-433-5.
УДК 004.421:681.5](075.8)
-- 1. Системи програмні, критичні – Підручники, посібники. 2. Інфраструктура, критична – Технології, інформаційні – Підручники, посібники.