В лекции сформулированы три закона программотехники. Какие утверждения считаются корректными для первого из этих законов - "корректность программной системы недостижима"
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
Закон отражает сложность программных систем(Верный ответ)
Закон, которым должны руководствоваться пользователи программной системы
Закон, которым должен руководствоваться разработчик, совершенствуя разрабатываемую систему(Верный ответ)
Закон не является безусловно истинным(Верный ответ)