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

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







Видеотека

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