Logo BSU

  1. Электронная библиотека БГУ
  2. Факультет прикладной математики и информатики
  3. Специальность «Прикладная математика (научно-производственная деятельность)»
  4. Дисциплины специализации_ПМ
  5. Формальная семантика и верификация программ_ПМ
Issue Date Author Title Subject

Search


Current filters:




Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-1 of 1 (Search time: 0.0 seconds).
  • previous
  • 1
  • next
Item hits:
PreviewIssue DateTitleAuthor(s)
2-Jul-2021Формальная семантика и верификация программ: учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-31 03 03 Прикладная математика (по направлениям) Направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность). № УД-10429/уч.Курбацкий, А. Н.; Винник, В. Ю.

Discover