[ДМК] Доказательство корректности программ [К. Рустан М. Лейно] [ДМК] Доказательство корректности программ [К. Рустан М. Лейно] Этот курс появится в скором времени на форуме SLIV-INFO..BIZ Проверьте по поиску форума, возможно данный курс уже слит.