Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Пошуковий запит: (<.>U=З973-018.11 я7<.>)
Загальна кількість знайдених документів : 1
1.
ВА723534
Тарасюк, Ольга Михайловна.
Формальные методы разработки критического программного обеспечения [Текст] : практикум / О. М. Тарасюк, А. В. Горбенко ; ред. В. С. Харченко ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "ХАИ", Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing. - Х. : [б. и.], 2008. - 116 с.: рис., табл. - (TEMPUS. Education and Culture. PhD). - Библиогр.: с. 96-97. - ISBN 978-966-662-184-2
Авт. на обл. не указ.

Рубрикатор НБУВ:
 З973-018.11 я7 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Горбенко, Анатолий Викторович; Харченко, Вячеслав Сергеевич (ред.); Национальный аэрокосмический университет имени Н. Е. Жуковского "ХАИ"; Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing

Видання зберігається у :
Основний фонд

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського