Изменения

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

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

10 байт добавлено, 12:19, 17 июня 2013

→‎Пример

Контракты:

<tex>

push </tex><tex>

pre: element != NULL

668

правок

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