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

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

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




Реклама



Ваше мнение

Видеотека

Рейтинг@Mail.ru

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