Изменения

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

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

2 байта добавлено, 12:22, 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=Служебная:Сравнение_версий/32558»

Навигация