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

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

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

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


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