Книга: Основы объектно-ориентированного программирования

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

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

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


Генерация: 0.062. Запросов К БД/Cache: 0 / 0
поделиться
Вверх Вниз