Изменения

Перейти к: навигация, поиск

Программирование по контракту

1 байт убрано, 16:07, 15 июня 2013
→‎Решение 2
return HOURS;
}
 
@Requires ({“newHOURS>= 0”,“newHOURS<= 23” })
@Ensures (“HOURS == newHOURS”)
}
Sergej
668
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32525»

Навигация