Доказове проектування алгоритмів функціонування реактивних систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.13 / Чеботарьов Анатолій Миколайович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова
Вихідні дані: К., 2002Опис: 32 с.Мова: українська.Форматний номер: 2 формат (висота > 17-23 см)Вид літератури за цільовим призначенням: Наукові Тип одиниці: АвторефератТип одиниці зберігання | Поточна бібліотека | Шифр зберігання | Стан | Очікується на дату | Штрих-код | |
---|---|---|---|---|---|---|
Автореферат | Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01324307 (Огляд полиці(Відкривається нижче)) | Доступно | 01324307 |