предусловие надклассового типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk)

class-wide precondition

: 3 фразы в 1 тематике

3