Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/7159
Title: Логика Хоара
Authors: Супринович, И. Ю.
Keywords: материалы конференций;корректность программы;корректность программ
Issue Date: 2016
Publisher: БГУИР
Citation: Супринович, И. Ю. Логика Хоара / И. Ю. Супринович // Компьютерные системы и сети : материалы 52-й научной конференции аспирантов, магистрантов и студентов. (Минск, 25 - 30 апреля 2016 года). – Минск : БГУИР, 2016. – С. 145 - 146.
Abstract: В последние десятилетия компьютеры стали занимать больше места в каждой сфере нашей жизни. В связи с этим возникла необходимость тщательной проверки компьютерных программ на правильность, ведь всѐ чаще и чаще компьютерам доверяют человеческие жизни. Это привело к возникновению различных методов, используемых для доказательства корректности компьютерных программ, одним из которых является логика Хоара.
URI: https://libeldoc.bsuir.by/handle/123456789/7159
Appears in Collections:Компьютерные системы и сети : материалы 52-й научной конференции аспирантов, магистрантов и студентов (2016)

Files in This Item:
File Description SizeFormat 
210218.PDF308.25 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.