2025-02-22T17:56:24-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-126397%22&qt=morelikethis&rows=5
2025-02-22T17:56:24-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-126397%22&qt=morelikethis&rows=5
2025-02-22T17:56:24-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:56:24-05:00 DEBUG: Deserialized SOLR response
Доведення властивості коректної роботи банківської системи виплати грошових переказів

Доведення властивості коректної роботи банківської системи виплати грошових переказів

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

Full description

Saved in:
Bibliographic Details
Main Authors: Остаповська, Ю.А., Панченко, Т.В., Поліщук, Н.В., Картавов, М.О.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2016
Series:Проблеми програмування
Subjects:
Паралельне програмування. Розподілені системи і мережі
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/126397
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://dspace.nbuv.gov.ua/handle/123456789/126397

Similar Items