Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр ; Верификация интерпретаторов алгебраических операций в расширениях многосортных алгебр ; Verification of interpreters of algebraic operations in expansions of multi-sorted algebras

Συγγραφείς: М.С. Львов, M.S. Lvov

Πηγή: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3(21). 127-137 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2009. — № 3(21). 127-137 ; Scientific Works of Kharkiv National Air Force University. — 2009. — № 3(21). 127-137 ; 2073-7378

Θεματικοί όροι: Кібернетика та системний аналіз, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, розширення алгебраїчних систем, верифікація, інтерпретатори алгебраїчних операцій, математическая система, символьные преобразования, многосортные алгебраические системы, расширения алгебраических систем, верификация, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multi-sorted algebraic systems, expansions of algebraic systems, verification, interpreters of algebraic operations

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf; http://www.hups.mil.gov.ua/periodic-app/article/3984

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/3984

Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр

Additional Titles: Верификация интерпретаторов алгебраических операций в расширениях многосортных алгебр
Verification of interpreters of algebraic operations in expansions of multi-sorted algebras

Συγγραφείς: М.С. Львов, M.S. Lvov

Πηγή: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3(21). 127-137; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2009. — № 3(21). 127-137; Scientific Works of Kharkiv National Air Force University. — 2009. — № 3(21). 127-137; 2073-7378

Όροι ευρετηρίου: Кібернетика та системний аналіз, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, розширення алгебраїчних систем, верифікація, інтерпретатори алгебраїчних операцій, математическая система, символьные преобразования, многосортные алгебраические системы, расширения алгебраических систем, верификация, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multi-sorted algebraic systems, expansions of algebraic systems, verification, interpreters of algebraic operations, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Рецензована стаття

Σύνδεσμος: http://www.hups.mil.gov.ua/periodic-app/article/3984
http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf
http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf