| |||
выполнить формальное доказательство отсутствия ошибок времени выполнения (overflows, reading of uninitialized variables etc. alex_) | |||
выполнить формальное доказательство отсутствия ошибок времени выполнения (overflows, constraint errors, reading of uninitialized variables etc. Alex_Odeychuk) |