Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/10696Полная запись метаданных
| Поле DC | Значение | Язык |
|---|---|---|
| dc.contributor.author | Кучугуров, И. В. | - |
| dc.date.accessioned | 2012-06-01T06:30:21Z | - |
| dc.date.available | 2012-06-01T06:30:21Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier.citation | Международный конгресс по информатике: информационные системы и технологии: материалы международного научного конгресса 31 окт. – 3 нояб. 2011 г. : в 2 ч. Ч. 2. – Минск: БГУ, 2011. – C. 362-363. | ru |
| dc.identifier.isbn | 978-985-518-564-3 | - |
| dc.identifier.uri | http://elib.bsu.by/handle/123456789/10696 | - |
| dc.description | Секция 11. Цифровые медиатехнологии | ru |
| dc.description.abstract | В данной статье рассматривается проблема верификации при создании качественного программного обеспечения. Рассмотрены общие подходы к ней. Приводится краткий обзор инструментальных средств верификации ПО. | ru |
| dc.language.iso | ru | ru |
| dc.publisher | БГУ | ru |
| dc.subject | ЭБ БГУ::ОБЩЕСТВЕННЫЕ НАУКИ::Информатика | ru |
| dc.title | Исследование и разработка семантических методов анализа распределенных языков программирования | ru |
| dc.type | Article | ru |
| Располагается в коллекциях: | 2011. Международный конгресс по информатике : информационные системы и технологии. Часть 2. | |
Полный текст документа:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 79 КУЧУГУРОВ.pdf | 237,56 kB | Adobe PDF | Открыть |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.