Исследование и разработка семантических методов анализа распределенных языков программирования

Кучугуров, И. В.

Issue Date Author Title Subject

Please use this identifier to cite or link to this item: https://elib.bsu.by/handle/123456789/10696

Full metadata record

DC Field	Value	Language
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
Appears in Collections:	2011. Международный конгресс по информатике : информационные системы и технологии. Часть 2.

Files in This Item:

File	Description	Size	Format
79 КУЧУГУРОВ.pdf		237,56 kB	Adobe PDF	View/Open

Show simple item record Google Scholar