Теорема 24.5

Если состояние внешних переменных является прообразом одного из состояний этой ВС, то испытание на таком состоянии должно быть корректным

В противном случае должна быть выдана ошибка

Назад Вперёд