| DC Field | Value | Language |
|---|
| dc.contributor.author | Супринович, И. Ю. | - |
| dc.date.accessioned | 2016-06-02T09:31:06Z | - |
| dc.date.accessioned | 2017-07-17T12:15:13Z | - |
| dc.date.available | 2016-06-02T09:31:06Z | - |
| dc.date.available | 2017-07-17T12:15:13Z | - |
| dc.date.issued | 2016 | - |
| dc.identifier.citation | Супринович, И. Ю. Логика Хоара / И. Ю. Супринович // Компьютерные системы и сети : материалы 52-й научной конференции аспирантов, магистрантов и студентов. (Минск, 25 - 30 апреля 2016 года). – Минск : БГУИР, 2016. – С. 145 - 146. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/7159 | - |
| dc.description.abstract | В последние десятилетия компьютеры стали занимать больше места в каждой сфере нашей жизни. В связи с этим
возникла необходимость тщательной проверки компьютерных программ на правильность, ведь всѐ чаще и чаще
компьютерам доверяют человеческие жизни. Это привело к возникновению различных методов, используемых для
доказательства корректности компьютерных программ, одним из которых является логика Хоара. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | корректность программы | ru_RU |
| dc.subject | корректность программ | ru_RU |
| dc.title | Логика Хоара | ru_RU |
| dc.type | Article | ru_RU |
| Appears in Collections: | Компьютерные системы и сети : материалы 52-й научной конференции аспирантов, магистрантов и студентов (2016)
|
