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

У6.7 Покупка дома

У6.7 Покупка дома

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


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