Logo BSU

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 SizeFormat 
79 КУЧУГУРОВ.pdf237,56 kBAdobe PDFView/Open


PlumX

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.