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

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

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

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

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

Пошук :

Довідка :

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

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

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

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

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

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

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

ББК з973.2-018я73-5

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