| DC Field | Value | Language |
|---|
| dc.contributor.author | Власенко, В. А. | - |
| dc.date.accessioned | 2017-09-01T10:48:21Z | - |
| dc.date.available | 2017-09-01T10:48:21Z | - |
| dc.date.issued | 2015 | - |
| dc.identifier.citation | Власенко, В. А. Обзор теорий доказательства правильности программ / В. А. Власенко // Технические средства защиты информации : тезисы докладов ХIII Белорусско-российской научно-технической конференции, Минск, 4–5 мая 2015 г. / Белорусский государственный университет информатики и радиоэлектроники. – Минск, 2015. – С. 63. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/25022 | - |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | программное обеспечение | ru_RU |
| dc.subject | верификация | ru_RU |
| dc.subject | анализ кодов | ru_RU |
| dc.title | Обзор теорий доказательства правильности программ | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ТСЗИ 2015
|
