Одеська національна наукова бібліотека

Бібліотека працює:

понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

Довідка :

Електронний каталог : Тарасюк Ольга Михайловна - Формальные методы разработки критического программного обеспечения. Лекционный материал

Тарасюк Ольга Михайловна - Формальные методы разработки критического программного обеспечения. Лекционный материал

Формальные методы разработки критического программного обеспечения. Лекционный материал

Недоступно
0 из 1

Книга
Автор: Тарасюк Ольга Михайловна
Формальные методы разработки критического программного обеспечения. Лекционный материал
Видавництво: Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2009 г.
ISBN відсутній

(UA) Книга
XIII> 58476
684267 Главный филиал

Тарасюк, Ольга Михайловна.
Формальные методы разработки критического программного обеспечения. Лекционный материал / Ольга Михайловна Тарасюк, Анатолий Викторович Горбенко; И.о. Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьковский авиационный институт"; Под ред. В. С. Харченко.– Харьков : Нац. аэрокосм. ун-т "Харьк. авиац. ин-т", 2009.– 214 с.
250 экз. – На рус. яз.
ISBN 966-662-184-2 : 11.00.

ББК з973.2-018я73-2

-- 1. Програмне забезпечення.