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)
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
