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

Прототип реалізації аксіоматичної системи специфікацій програм над метаномінативними даними


ID: 49374
Кількість показів: 74
дата змінення: 14.10.2014 09:47:59
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  6
Рік видання:  2007
Звітний рік:  2007
Видання:  Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
Номери сторінок:  107.0000
Автори,співробітники Університету:  Омельчук Людмила Леонідівна
Кафедра / Відділ:  Теорії та технології програмування
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору