Изменения

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

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

59 байт добавлено, 18:23, 30 сентября 2013

→‎Пример

}

}

Инвариант: <tex> hours >= 0 && hours <= 23 </tex>

Постусловие: (например для getHours()) возвращенное значение будет являться текущим часом.

==== Решение 1 ====

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

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