Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
9
UDC 004.415.2.045 (076.5)
6
УДК 004.415.2.045 (076.5)
6
formal verification
4
формальна верифікація
4
IPCL
3
UDC 004.415
3
UDC 004.415.52
3
composition-nominative languages
3
concurrent program
3
interleaving
3
УДК 004.415
3
УДК 004.415.52
3
композиционно-номинативные языки
3
композиційно-номінативні мови
3
параллельная программа
3
формальная верификация
3
004.415
2
Model-Driven Development
2
Requirement Analysis
2
Software Model Transformation
2
UDC 004.415.2
2
UDC 004.415.5
2
UDC 004.942+004.415.2
2
architecture
2
decision support system
2
ontology
2
programming
2
programming style
2
safety property proof
2
-
21
-
22
-
23
-
24
-
25
-
26
- [1]
- Попередній
- 1
- 2