Logo BSU

  1. Электронная библиотека БГУ
  2. Факультет прикладной математики и информатики
  3. Специальность «Информатика»
  4. Цикл дисциплин профилизаций_ИНФ
  5. Профилизация «Технологии разработки сложных информационных систем»
  6. Формальная семантика и верификация программ
Issue Date Author Title Subject

Формальная семантика и верификация программ : [1] Collection home page

Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
PreviewIssue DateTitleAuthor(s)
29-Sep-2025Формальная семантика и верификация программ: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 4428/б.Курбацкий, А. Н.; Винник, В. Ю.
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed

Discover