Пошук :
Довідка :
Електронний каталог : Тарасюк, Ольга Михайловна - Формальные технологии разработки безопасных компьютерных систем
Тарасюк, Ольга Михайловна - Формальные технологии разработки безопасных компьютерных систем
Книга
Автор: Тарасюк, Ольга Михайловна
Формальные технологии разработки безопасных компьютерных систем : практикум
Formal Methods-based Technologies for Safeware
Видавництво: Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012 г.
ISBN 978-966-662-276-4
Автор: Тарасюк, Ольга Михайловна
Формальные технологии разработки безопасных компьютерных систем : практикум
Formal Methods-based Technologies for Safeware
Видавництво: Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012 г.
ISBN 978-966-662-276-4
(UA) Книга
XIII> 62462
737384 Главный филиал
Тарасюк, Ольга Михайловна.
Формальные технологии разработки безопасных компьютерных систем = Formal Methods-based Technologies for Safeware : практикум / Ольга Михайловна Тарасюк, Анатолий Викторович Горбенко, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьковский авиационный институт"; Под ред. В. С. Харченко.– Харьков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012.– 74 с.
Загл. на обл.: Технологии для ит-инженерии безопасности на основе формальных методов.– Авт. на обл. не указ.– На тит. л.: Проект SAFEGUARD 158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking.– 300 экз.– Библиогр.: с. 64-65 . – На рус. яз.
ISBN 978-966-662-276-4 : 5.00.
ББК з973.2-018 программы
-- 1. Системи програмні, критичні – Підручники, посібники. 2. Програмне забезпечення – Розробка – Підручники, посібники. 3. Програмне забезпечення – Надійність – Підручники, посібники.
XIII> 62462
737384 Главный филиал
Тарасюк, Ольга Михайловна.
Формальные технологии разработки безопасных компьютерных систем = Formal Methods-based Technologies for Safeware : практикум / Ольга Михайловна Тарасюк, Анатолий Викторович Горбенко, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьковский авиационный институт"; Под ред. В. С. Харченко.– Харьков : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2012.– 74 с.
Загл. на обл.: Технологии для ит-инженерии безопасности на основе формальных методов.– Авт. на обл. не указ.– На тит. л.: Проект SAFEGUARD 158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking.– 300 экз.– Библиогр.: с. 64-65 . – На рус. яз.
ISBN 978-966-662-276-4 : 5.00.
ББК з973.2-018 программы
-- 1. Системи програмні, критичні – Підручники, посібники. 2. Програмне забезпечення – Розробка – Підручники, посібники. 3. Програмне забезпечення – Надійність – Підручники, посібники.