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

Extended Floyd-Hoare logic over relational nominative data


ID: 216968
Кількість показів: 70
дата змінення: 10.11.2019 18:56:58
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  24
Рік видання:  2018
Звітний рік:  2018
Видання:  Communications in Computer and Information Science [CCIS]
Випуск, частина:  826
Номери сторінок:  41-64
Галузь науки:  Інформатика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Іванов Євген В’ячеславович / Криволап Андрій Володимирович
Автори зовнішні:  Artur Korniłowicz
Кафедра / Відділ:  Програмних систем і технологій / Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики / Факультет інформаційних технологій

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

Вгору