Изменения

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

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

4 байта добавлено, 21:44, 25 сентября 2013

→‎Решение 2

{

@Ensures ({“result >= 0”,“result <= 23” })

int getHours();

{

return HOURS;

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32852»