Please use this identifier to cite or link to this item:
https://elib.bsu.by/handle/123456789/10696| Title: | Исследование и разработка семантических методов анализа распределенных языков программирования |
| Authors: | Кучугуров, И. В. |
| Keywords: | ЭБ БГУ::ОБЩЕСТВЕННЫЕ НАУКИ::Информатика |
| Issue Date: | 2011 |
| Publisher: | БГУ |
| Citation: | Международный конгресс по информатике: информационные системы и технологии: материалы международного научного конгресса 31 окт. – 3 нояб. 2011 г. : в 2 ч. Ч. 2. – Минск: БГУ, 2011. – C. 362-363. |
| Abstract: | В данной статье рассматривается проблема верификации при создании качественного программного обеспечения. Рассмотрены общие подходы к ней. Приводится краткий обзор инструментальных средств верификации ПО. |
| Description: | Секция 11. Цифровые медиатехнологии |
| URI: | http://elib.bsu.by/handle/123456789/10696 |
| ISBN: | 978-985-518-564-3 |
| Appears in Collections: | 2011. Международный конгресс по информатике : информационные системы и технологии. Часть 2. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 79 КУЧУГУРОВ.pdf | 237,56 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.