Изменения

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

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

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

→‎Пример

pre: 0 <= newMinutes < 60

post: minutes == newMinutes

void setSeconds(int newSeconds)

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

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