Зведений каталог бібліотек Миколаєва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

004.415.52+681.3
Остаповська, Ю. А.
    Доведення властивості коректної роботи банківської системи виплати грошових переказів [Текст] / Ю.А. Остаповська, Т.В. Панченко, Н.В. Поліщук, М.О. Картавов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 119-132.

- Ключові слова:

програмне забезпечення, программное обеспечение ; формальна верифікація, формальная верификация ; Проблеми програмування № 2-3-2016 ; Паралельне програмування ; коректність, корректность

- Анотація:

Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам'ять.

- Є складовою частиною документів:

- Теми документа

  • УДК // Обладнання для обробки даних
  • УДК // Розробка комп'ютерної системи і програмного забезпечення
  • УДК // Точна механіка та автоматика
  • УДК // Формальна технічна перевірка. Наскрізний контроль



Наявність
Установа Кількість Документ на сайті установи
Бібліотека Миколаївського національного аграрного університету   Перейти на сайт