Skip navigation
Главная страница
Вход
Язык
English
русский
ISSN 2519-4437
(online)
Электронная библиотека БГУ
Факультет прикладной математики и информатики
Специальность «Прикладная математика (научно-производственная деятельность)»
Цикл дисциплин специализации_ПМ
Семестр 6. Формальная семантика и верификация программ_ПМ
Даты публикации
Авторы
Заглавия
Темы
Поиск
Поиск:
Вся Электронная библиотека
Факультет прикладной математики и информатики
Специальность «Прикладная математика (научно-производственная деятельность)»
Цикл дисциплин специализации_ПМ
Семестр 6. Формальная семантика и верификация программ_ПМ
запрос
Текущие фильтры:
Название
Автор
Тема
по дате выпуска
Вид документа
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Название
Автор
Тема
по дате выпуска
Вид документа
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Название
Автор
Тема
по дате выпуска
Вид документа
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Название
Автор
Тема
по дате выпуска
Вид документа
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Результаты 1-1 из 1.
назад
1
далее
Найденные документы:
Предварительный просмотр
Дата выпуска
Заглавие
Автор(ы)
2-июл-2021
Формальная семантика и верификация программ: учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-31 03 03 Прикладная математика (по направлениям) Направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность). № УД-10429/уч.
Курбацкий, А. Н.
;
Винник, В. Ю.
Просмотр
Автор
1
Винник, В. Ю.
1
Курбацкий, А. Н.
по дате выпуска
1
2021