Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/10696| Заглавие документа: | Исследование и разработка семантических методов анализа распределенных языков программирования |
| Авторы: | Кучугуров, И. В. |
| Тема: | ЭБ БГУ::ОБЩЕСТВЕННЫЕ НАУКИ::Информатика |
| Дата публикации: | 2011 |
| Издатель: | БГУ |
| Библиографическое описание источника: | Международный конгресс по информатике: информационные системы и технологии: материалы международного научного конгресса 31 окт. – 3 нояб. 2011 г. : в 2 ч. Ч. 2. – Минск: БГУ, 2011. – C. 362-363. |
| Аннотация: | В данной статье рассматривается проблема верификации при создании качественного программного обеспечения. Рассмотрены общие подходы к ней. Приводится краткий обзор инструментальных средств верификации ПО. |
| Доп. сведения: | Секция 11. Цифровые медиатехнологии |
| URI документа: | http://elib.bsu.by/handle/123456789/10696 |
| ISBN: | 978-985-518-564-3 |
| Располагается в коллекциях: | 2011. Международный конгресс по информатике : информационные системы и технологии. Часть 2. |
Полный текст документа:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 79 КУЧУГУРОВ.pdf | 237,56 kB | Adobe PDF | Открыть |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.