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

Formalization and reasoning for real-time programming languages


ID: 147906
Кількість показів: 52
дата змінення: 28.08.2015 15:40:45
Ким змінено (ім'я): (fit1) Лілія Бачинська
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  3
Рік видання:  2011
Звітний рік:  2012
Видання:  Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
Номери сторінок:  8-10
Галузь науки:  Інформатика
Автори,співробітники Університету:  Іванов Євген В’ячеславович / Нікітченко Микола Степанович
Кафедра / Відділ:  Програмних систем і технологій
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет інформаційних технологій

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

Вгору