Изменения

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

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

Нет изменений в размере, 12:14, 17 июня 2013
→‎Пример
pre: element != null
post: size == size' + 1 and elements[size'] == element
void push(Object element)</tex>
Sergej
668
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32551»

Навигация