Автоматическая верификация кода программПО и документация
ЗаданиеВыполнить верификацию кода написанной программы. Исправить найденные ошибки. По результатам сформировать отчет с описанием найденных ошибок и вариантов исправления. |
с 1994 г.
Кафедра Информатики и Математического Обеспечения
ПетрГУ | ИМиИТ | О кафедре | Проекты | Лаборатория ИТС | Семинары НФИ/AMICTСотрудники | Учебный процесс | Табель-календарь | Курсовые и выпускные работы
Вычислительные ресурсы | Публикации | Архив новостей | Контактная информация (English)
