OPAC ДБТУ

004.05
Т 19
Тарасюк, Ольга Михайловна.

Формальные методы разработки критического программного обеспечения [Текст] = Formal Methods of Critical Software Development : практикум / О. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Харьков : ФОП Лысенко И. Б., 2008. - 116 с. : рис., табл. - Библиогр.: с. 96-97. - ISBN 978-966-662-184-2

	УДК
	004.05

Ключові слова: виды -- причины -- последствия -- отказы -- fme(c)a -- fta -- спецификация -- event -- компьютерная -- система -- критический -- компьютинг --
Додаткові точки доступу:
Горбенко, Анатолий Викторович
Харченко, Вячеслав Сергеевич\под ред.\
Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т"

Кількість примірників на окремих абонементах

#	Відділ	Всього примірників	Вільних примірників
1	Абонемент б. п. №4 (вул. Різдвяна, 19)	1	1

Інвентарні номери примірників на окремих абонементах

#	Відділ	інвентарні номери
1	Абонемент б. п. №4 (вул. Різдвяна, 19)	356866

#	Факультет	Спеціальність	Дисципліна	Семестр

#	Посилання	Кількість завантажень / переходів