| 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
|
