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

У11.3 Полные утверждения для стеков

У11.3 Полные утверждения для стеков

Покажите, что введение закрытой функции body, возвращающей тело стека, сделает возможным утверждениям класса STACK полностью отражать спецификацию соответствующего АТД. Обсудите теоретическую и практическую значимость такого подхода.


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