Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосуваня

eng

Увага! Відтепер можна отримати пластиковий читацький квиток також за адресою:
проспект академіка Глушкова 2, кім. 217.
Подробиці читайте тут.

Список містить (0 документів)
Ваше замовлення (0 книжок)
Перегляд стану та історії замовлень
Допомога

Новий пошук

Опис документа:


Шифр:	А
Авт. знак:	151919
Автор:	Сергієнко В.В.
Назва:	Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосуваня
Від. щодо назв.:	автореф. дис. ... канд. техн. наук : 05.13.06
Відповідальність:	Сергієнко Володимир Володимирович ; М-во освіти і науки, молоді та спорту України ; Нац. аерокосмічний ун-т ім. М.Є. Жуковського "Харк. авіаційний ін-т"
Місто:	Харків
Рік:	2012
Сторінок:	21 с.
ББК:	З986
Тип документу:	Автореферат

Пошук: заповніть хоча б одне з полів

Розділ:

Назва:

Будь ласка, пишіть 2-3 слова з назви БЕЗ ЗАКІНЧЕНЬ!
Так імовірніше знайти потрібний документ!

слова не коротші ніж 3 символів, розділені пробілами

Автор:

Будь ласка, пишіть прізвище автора без ініціалів!

не коротше ніж 2 символи

є повний текст

Рік видання:

Видавництво:

з по

Види документів:

Книга Брошура Конволют (штучно створена збірка) Рідкісне видання

Автореферат Дисертація

Журнал Газета

Стаття Складова частина документа

Новий тематичний пошук


	Цей сайт створено за спiльною програмою UNDP та Київського нацiонального унiверситету iменi Тараса Шевченка проект УКР/99/005

	© 2000-2010 yawd, irishka, levsha, alex