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

An inference system of an extension of Floyd-Hoare logic for partial predicates


ID: 241228
Кількість показів: 41
дата змінення: 10.12.2019 14:14:02
Ким змінено (ім'я): (fit13) Віктор Шевченко
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  6
Рік видання:  2018
Звітний рік:  2019
Видання:  FORMALIZED MATHEMATICS
Номери сторінок:  159-164
Галузь науки:  Інформатика
Автори,співробітники Університету:  Іванов Євген В’ячеславович / Нікітченко Микола Степанович
Автори зовнішні:  Artur Kornilowicz
Кафедра / Відділ:  Програмних систем і технологій
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет інформаційних технологій

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

Вгору