Новости института


Новости ИСП РАН

23 Марта, 2012

Защита диссертации

26 апреля 2012 года в 16.00 в Актовом зале ИСП РАН состоится защита кандидатской диссертации в Диссертационном совете Д.002.087.01 при ИСП РАН.

  • Чупилко Михаил Михайлович, «Динамическая верификация цифровой аппаратуры на основе формальных спецификаций» на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Автореферат диссертации в формате PDF (787 КБ)

Все новости