Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2022 за темою "Формальні методи програмування"

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2022 за темою "Формальні методи програмування"

Сортувати за: Порядок: Результатів:

  • Letychevskyi, O.O.; Peschanenko, V.S.; Poltorackiy, M.Yu. (Проблеми програмування, 2022)
    In this study, problems regarding the analysis of law articles and their conformance to legal documents are considered. The algebraic approach is used for the formal verification of legal texts that is presented as ...
  • Letychevskyi, O.O.; Peschanenko, V.S.; Poltorackiy, M.Yu.; Tarasich, Yu.H.; Vinnyk, M.O. (Проблеми програмування, 2022)
    Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис