Электронная библиотека БГУ: Семестр 6. Формальная семантика и верификация программ

Даты публикации Авторы Заглавия Темы

Семестр 6. Формальная семантика и верификация программ_ПМ : [1] Главная страница коллекции Статистика

Ресурсы коллекции (Сортировка по Дата поступления в По убыванию порядке): 1 по 1 из 1

Предварительный просмотр	Дата выпуска	Заглавие	Автор(ы)
	2-июл-2021	Формальная семантика и верификация программ: учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-31 03 03 Прикладная математика (по направлениям) Направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность). № УД-10429/уч.	Курбацкий, А. Н.; Винник, В. Ю.

Ресурсы коллекции (Сортировка по Дата поступления в По убыванию порядке): 1 по 1 из 1