Изменения

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

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

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

Навигация