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

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


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



Содержание раздела