Книга: Основы объектно-ориентированного программирования
У6.14 Непротиворечивость
У6.14 Непротиворечивость
Докажите, что приведенная в этой лекции спецификация стеков является непротиворечивой.
Оглавление статьи/книги
У6.14 Непротиворечивость
Докажите, что приведенная в этой лекции спецификация стеков является непротиворечивой.