Treffer 1 - 15 von 15 für Suche 'Peschanenko, V.S.', Suchdauer: 0,04s Treffer weiter einschränken
  1. 1
    Partial evaluation in insertion modeling system
    von Peschanenko, V.S.
    Veröffentlicht 2025
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Partial evaluation in insertion modeling system
    Volltext
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Use of methods of algebraic programming for the formal verification of legal acts
    von Peschanenko, V.S., Poltoratskiy, M.
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Simple non-deterministic rewriting in verification
    von Letichevsky, A., Peschanenko, V.
    Veröffentlicht 2010
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Use of metods of algebraic programming for the formal verification of legal acts
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Satisfiability For Symbolic Verification in VRS
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 7
    APS C++ User's Library
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  8. 8
    Algebraic approach to the analysis of legal documents
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  9. 9
    Deductive verification of requirements for event-driven architecture
    Volltext
    Zu den Favoriten
    Gespeichert in:
  10. 10
    The Non-Deterministic Strategy of Rewriting
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  11. 11
    Algebraic approach to the analysis of legal documents
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  12. 12
    Deductive verification of requirements for event-driven architecture
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  13. 13
    Survey on modern tools and methods of formal models verification
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  14. 14
    Formal semantics and analysis of tokenomics properties
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  15. 15
    Formal semantics and analysis of tokenomics properties
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden