Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- invariant
- інваріант 2
- 13A50 1
- 16R30 1
- 17B01 1
- IPCL 1
- Lie algebra 1
- Narayana polynomials 1
- Poincaré series 1
- UDC 004.415.52 1
- UDC 512.647 1
- algebra of invariants 1
- binary form 1
- classical invariant theory 1
- composition-nominative languages 1
- concurrent program 1
- covariant 1
- formal verification 1
- generic 1
- interleaving 1
- safety property proof 1
- software correctness 1
- УДК 004.415.52 1
- УДК 512.647 1
- алгебра інваріантів 1
- бінарна форма 1
- доведення часткової коректності 1
- доказательство частичной корректности 1
- инвариант 1
- класична теорія інваріантів 1
-
1
-
2
Співвідношення для рядів Пуанкаре алгебр інваріантів бінарних форм
Опубліковано 2021Отримати повний текст
Стаття -
3
Correctness Property Proof for the Banking System for Money Transfer Payments
Опубліковано 2018Отримати повний текст
Стаття