Изменения

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

74 байта убрано, 21:14, 30 сентября 2013

→‎Пример

Инвариант:

hours >= 0 and hours <= 23

~~<tex>~~ minutes >= 0 ~~</tex> <tex>~~ and~~</tex> <tex>~~ minutes < 60 ~~</tex>~~

~~<tex>~~ seconds >= 0 ~~</tex> <tex>~~ and~~</tex> <tex>~~ seconds < 60 ~~</tex>~~

Постусловия и предусловия:

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