Наукові публікації університету

Класифікація мов та методів формальних специфікацій програмних систем. Abstracts of International Conference TAAPSD’2008


ID: 61150
Кількість показів: 77
дата змінення: 14.10.2014 10:02:01
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  7
Рік видання:  2008
Звітний рік:  2008
Том:  1
Номери сторінок:  27.0000
Автори,співробітники Університету:   / Нікітченко Микола Степанович / Омельчук Людмила Леонідівна /  / Шишацька Олена Володимирівна
Кафедра / Відділ:  Теорії та технології програмування
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

Повернення до списку

Вгору