У6.14 Непротиворечивость

Докажите, что приведенная в этой лекции спецификация стеков является непротиворечивой.

Больше книг — больше знаний!

Заберите 30% скидку новым пользователям на все книги Литрес с нашим промокодом

Читайте также

3.2.3 Непротиворечивость (consistency) Документы, входящие в комплект документации пользователя, не должны противоречить сами себе, друг другу и описанию продукта. Каждый термин должен иметь один и тот же смысл во всех документах.Примечание - Непротиворечивость программ и