| "Один из альтернативных вариантов индивидуального задания на Курсовой проект по Верификации. Для тех, кто разбирается в Си думаю, сложности не составит. Могут выполнять несколько студентов, выбрав разные симуляторы-модели. Если Вас заинтересует, прошу сообщить мне, чтобы более подробно обсудить то, что требуется сделать (кто первый какой симулятор успеет, того и будет). В качестве бонуса, я готов дополнительно засчитать последние 2 лабораторные работы."
|
