Остаповська Ю. А., Панченко Т. В., Поліщук Н. В., Картавов М. О.
Доведення властивості коректної роботи банківської системи виплати грошових переказів
Вид документа: Стаття періодики
Автор: Остаповська Ю. А., Панченко Т. В., Поліщук Н. В., Картавов М. О. Вид автора: персона
Мова: Українська Обсяг: С. 119-132
Шифр: 004.415.52+681.3 УДК: 004.415.52+681.3
| Аннотацiя: | Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам'ять. |
Є складовою частиною документа: Проблеми програмування
| | Назва головного документа: | Проблеми програмування |
| | Дата видання головного документа: | 2016 |
| | Номер частини головного документа: | № 2-3 |
Теми документа
|
