Результати пошуку - Peschanenko, V.

  • Показ 1 - 16 результатів із 16
Уточнити результати
  1. 1
    Зображення обкладинки

    Partial evaluation in insertion modeling system за авторством Peschanenko, V.

    Опубліковано в: Проблеми програмування (2013)
    Отримати повний текст

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Partial evaluation in insertion modeling system за авторством Peschanenko, V.S.

    Опубліковано 2025
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Use of metods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V., Poltorackiy, M.

    Опубліковано в: Проблеми програмування (2018)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Simple non-deterministic rewriting in verification за авторством Letichevsky, A., Peschanenko, V.

    Опубліковано 2010
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Use of methods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V.S., Poltoratskiy, M.

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    APS C++ User's Library за авторством Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V.

    Опубліковано 2008
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Satisfiability For Symbolic Verification in VRS за авторством Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.

    Опубліковано в: Управляющие системы и машины (2013)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.

    Опубліковано в: Проблеми програмування (2022)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    The Non-Deterministic Strategy of Rewriting за авторством Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.

    Опубліковано в: Управляющие системы и машины (2013)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Deductive verification of requirements for event-driven architecture за авторством Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.

    Опубліковано в: Проблеми програмування (2013)
    Отримати повний текст

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

    Опубліковано 2023
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

    Survey on modern tools and methods of formal models verification за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

    Опубліковано 2015
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

    Deductive verification of requirements for event-driven architecture за авторством Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

    Опубліковано 2025
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Опубліковано в: Проблеми програмування (2022)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Опубліковано 2023
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    Constraint programming in insertion modeling system за авторством Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M.

    Опубліковано 2025
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: