Основы трансляции, статического анализа и верификации программ
Дисциплина ''Основы трансляции, статического анализа и верификации программ'' входит в учебный план подготовки по направлению 552800 - ''Информатика и вычислительная техника''.
Программа разработана на факультете информационных технологий Новосибирского государственного университета.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
