3.1. Сфера научных интересов

Перетащите для изменения порядка разделов
Форматированный текст
  • Математическая логика
  • Исчисления
  • Верификация декларативных программных структур
  • Оценка качества программного обеспечения
rich_text    
Перетащите для изменения порядка разделов
Форматированный текст
rich_text    

Комментарии страницы

Комментарии отсутствуют

Добавить новый комментарий:

Для добавления комментариев на этой странице необходимо войти в систему.