В статті уточнюється поняття специфікації класу, розглядається операція об’єднання специфікацій класів. За допомогою операції накладання виконується формальне уточнення множинного успадкування
In the paper the notion of class specification is rectified, the operation of combination of class specifications is considered. The formal clarification of multiple inheritances is realized due to the overlap operation.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
