Изменения

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

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

2 байта добавлено, 18:31, 30 сентября 2013
→‎Пример
Инвариант:
<tex> hours >= 0 </tex> <tex> and</tex> <tex> hours <= 23 </tex>
 
<tex> minutes >= 0 </tex> <tex> and</tex> <tex> minutes <= 60 </tex>
 
<tex> seconds >= 0 </tex> <tex> and</tex> <tex> seconds <= 60 </tex>
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32934»

Навигация