OPAC ДБТУ

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

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

	УДК
	004.05

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

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

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

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

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

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

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