Изменения

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

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

25 байт убрано, 17:51, 30 сентября 2013
→‎Пример
}
}
Предусловие: (например для <tex> getHours())</tex> <tex> hours >= 0 && hours <= 23 </tex>.
Постусловие: возвращенное значение будет являться текущим часом.
==== Решение 1 ====
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32924»

Навигация