Изменения

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

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

→‎Пример

}

Инвариант:

<tex> hours >= 0 && and hours <= 23 </tex>

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

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

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