Пошук академічних текстів

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