Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
"Формальні методи програмування" » "Формальні метод програмування" (Erweiterte Suche)
Treffer 21 - 32 von 32 für Suche '"Формальні методи програмування"', Suchdauer: 0,02s Treffer weiter einschränken
  1. 21
    На пути к верификации С-программ. Язык c-light и его трансформационная семантика
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 22
    Нечеткие модели мультиагентных систем в распределенной среде
    von Парасюк, И.Н., Ершов, С.В.
    Veröffentlicht 2010
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 23
    Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 24
    Algebraic approach to the analysis of legal documents
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 25
    Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
    von Яценко, Е.А.
    Veröffentlicht 2012
    Volltext
    Zu den Favoriten
    Gespeichert in:
  6. 26
    Formal semantics and analysis of tokenomics properties
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 27
    Применение систем переписывания термов к анализу исходного программного кода
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  8. 28
    Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
    von Мохница, А.С.
    Veröffentlicht 2008
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  9. 29
    C# program verification problems: solution by a three-level method
    von Promsky, A.V.
    Veröffentlicht 2008
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  10. 30
    APS C++ User's Library
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  11. 31
    Система композиционно-номинативного программирования SCRIPT.NET
    von Процик, П.П.
    Veröffentlicht 2008
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  12. 32
    Преобразование сортировки Хоара в параллельную форму на основе матриц сравнений
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden – Suche speichern