Знайдено документів: 1
Інформація × Реєстраційний номер 0102U000496, ( 0205U004483  ) Науково-дослідна робота Назва роботи Розробити дедуктивні методи верифікації теорем з математики та програмного забезпечення ЕОМ. Керівник роботи Капітонова Юлія Володиміровна, Дата реєстрації 08-02-2002 Організація виконавець Інститут кібернетики імені В.М. Глушкова НАН України Опис роботи Створення та теоретичне обгрунтування ефективних дедуктивних методів верифікації теорем з математики та комп'ютерних програм з урахуванням сучасних вимог до якості та надійного програмного забезпечення ЕОМ. Додано в НРАТ 2024-12-11 Закрити
НДДКР РК
Керівник: Капітонова Юлія Володиміровна. Розробити дедуктивні методи верифікації теорем з математики та програмного забезпечення ЕОМ.. Інститут кібернетики імені В.М. Глушкова НАН України. № 0102U000496
Знайдено документів: 1

Оновлено: 2026-03-16