Изменения

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

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

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

→‎Пример

<tex> pre: size > 0 </tex>

<tex>post: size == size' - 1</tex> <tex> and </tex> <tex>result == elements[size]</tex>

<tex>Object</tex> <tex> pop() </tex>

668

правок

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