Лекция 17: Корректность и устойчивость программных систем

Программные системы во многих случаях -- жизненно важные системы, от правильной работы которых может зависеть благосостояние и даже жизнь отдельного человека или целого коллектива. Элементами доказательного программирования должен владеть каждый профессиональный программист.



';



Видеотека

Яндекс.Метрика