Результати пошуку - "software"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- software 18
- програмне забезпечення 15
- software engineering 13
- інженерія програмного забезпечення 11
- UDC 004.4'24 8
- УДК 004.4'24 8
- паралельні обчислення 6
- інформаційні технології 6
- automated software design 5
- ontology 5
- parallel computing 5
- software synthesis 5
- автоматизація розробки програмного забезпечення 5
- автоматизированное проектирование программ 5
- алгебра алгоритмов 5
- екосистема програмного забезпечення 5
- конструктивно-продукційне моделювання 5
- мови програмування 5
- онтологія 5
- синтез программ 5
- 4
- UDC 004.4 4
- UDC 502:004.45 (075.8) 4
- UDC 681.3 4
- algorithm algebra 4
- constructive-synthesizing modeling 4
- information technology 4
- programming languages 4
- software ecosystem 4
- УДК 502:004.45 (075.8) 4
-
81
Correctness Property Proof for the Banking System for Money Transfer Payments
Опубліковано 2018
Отримати повний текст
Стаття -
82
-
83
-
84
-
85
-
86
-
87
-
88
-
89
-
90
-
91
-
92