Изменения

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

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

1 байт добавлено, 17:52, 30 сентября 2013
Пример
}
Предусловие: (например для getHours()) hours >= 0 && hours <= 23.
 
Постусловие: возвращенное значение будет являться текущим часом.
==== Решение 1 ====
Анонимный участник

Навигация