Logo BSU

Please use this identifier to cite or link to this item: https://elib.bsu.by/handle/123456789/276650
Title: Формальная семантика и верификация программ: учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-31 03 03 Прикладная математика (по направлениям) Направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность). № УД-10429/уч.
Authors: Курбацкий, А. Н.
Винник, В. Ю.
Keywords: ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика
Issue Date: 2-Jul-2021
Publisher: БГУ, ФПМИ, Кафедра технологий программирования
Abstract: Цель учебной дисциплины – ознакомление студентов с основами формальных семантик языков программирования, методов формальной спецификации и верификации программ, формирование теоретических знаний в области верификации программного обеспечения и практических навыков анализа, верификации и тестирования программных средств.
URI: https://elib.bsu.by/handle/123456789/276650
Licence: info:eu-repo/semantics/openAccess
Appears in Collections:Кафедра технологий программирования_ПМ

Show full item record Google Scholar



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