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