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

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

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

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

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

Пошук :

Довідка :

Електронний каталог : Богдан, Ірина Валентинівна - Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм

Богдан, Ірина Валентинівна - Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм

Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм

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

Автореферат/Дисертація
Автор: Богдан, Ірина Валентинівна
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм : автореф. дис. … канд. техн. наук
Видавництво: [б.в.], 2015 г.
ISBN відсутній

(UA) Автореферат
A 212020
Главный филиал

Богдан, Ірина Валентинівна.
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм : автореф. дис. … канд. техн. наук : 05.13.06 / Ірина Валентинівна Богдан, Чернігів. нац. технолог. ун-т.– Чернігів : [б.в.], 2015.– 20 с.
100 пр. – На укр. яз.

-- 1. Технічні науки – Інформатика, обчислювальна техніка та автоматизація – Інформаційні технології.