Logo BSU

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

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

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed