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