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

Аксіоматичні системи специфікацій програм над номінативними даними


ID: 48000
Кількість показів: 69
дата змінення: 14.10.2014 09:46:11
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Вид роботи:  Наукова публікація
Кількість сторінок:  142
Рік видання:  2007
Звітний рік:  2007
Автори,співробітники Університету:  Омельчук Людмила Леонідівна
Кафедра / Відділ:  Теорії та технології програмування
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору