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

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

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

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


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