Изменения

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

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

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

Навигация