Skip navigation
Главная страница
Вход
Язык
English
русский
ISSN 2519-4437
(online)
Электронная библиотека БГУ
Факультет прикладной математики и информатики
Специальность «Информатика»
Цикл дисциплин профилизаций_ИНФ
Профилизация «Технологии разработки сложных информационных систем»
Формальная семантика и верификация программ
Даты публикации
Авторы
Заглавия
Темы
Просмотр "Формальная семантика и верификация программ" По дате выпуска
Выберите:
(Год)
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1985
1980
1975
1970
1960
1950
(Месяц)
января
февраля
марта
апреля
мая
июня
июля
августа
сентября
октября
ноября
декабря
Или введите год:
сортировать:
Заглавие
Дата выпуска
Дата поступления
В порядке:
По возрастанию
По убыванию
Результаты/Страница
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Авторы/Запись:
Все
1
5
10
15
20
25
30
35
40
45
50
Результаты 1 - 1 из 1
Предварительный просмотр
Дата выпуска
Заглавие
Автор(ы)
29-Sep-2025
Формальная семантика и верификация программ: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 4428/б.
Курбацкий, А. Н.
;
Винник, В. Ю.
