Основы трансляции, статического анализа и верификации программ

Дисциплина ''Основы трансляции, статического анализа и верификации программ'' входит в учебный план подготовки по направлению 552800 - ''Информатика и вычислительная техника''. Программа разработана на факультете информационных технологий Новосибирского государственного университета.