Абстрактные типы данных (АТД)
5c8b6e8c

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


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



Содержание раздела