Показ 1 - 12 результатів із 12 для пошуку 'Peschanenko, V.S.', час виконання запиту: 0.02сек. Уточнити результати
  1. 1
    Partial evaluation in insertion modeling system
    за авторством Peschanenko, V.
    Опубліковано 2013
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  2. 2
    Simple non-deterministic rewriting in verification
    за авторством Letichevsky, A., Peschanenko, V.
    Опубліковано 2010
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 3
    Use of metods of algebraic programming for the formal verification of legal acts
    за авторством Peschanenko, V., Poltorackiy, M.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 4
    Використання методів алгебраїчного програмування для формальної перевірки правових документів
    за авторством Peschanenko, V.S., Poltoratskiy, M.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  5. 5
    APS C++ User's Library
    за авторством Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V.
    Опубліковано 2008
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  6. 6
    Satisfiability For Symbolic Verification in VRS
    за авторством Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.
    Опубліковано 2013
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  7. 7
    Algebraic approach to the analysis of legal documents
    за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.
    Опубліковано 2022
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  8. 8
    Deductive verification of requirements for event-driven architecture
    за авторством Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.
    Опубліковано 2013
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  9. 9
    The Non-Deterministic Strategy of Rewriting
    за авторством Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.
    Опубліковано 2013
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  10. 10
    Алгебраїчний підхід у аналізі юридичних документів
    за авторством Letychevskyi, O. O., Peschanenko, V. S., Poltorackiy, M. Yu.
    Опубліковано 2023
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  11. 11
    Formal semantics and analysis of tokenomics properties
    за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
    Опубліковано 2022
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  12. 12
    Формальна семантика та аналіз властивостей токоекономіки
    за авторством Letychevskyi, O. O., Peschanenko, V. S., Poltorackiy, M. Yu., Tarasich, Yu.H., Vinnyk, M.O.
    Опубліковано 2023
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою