Изменения

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

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

5 байт добавлено, 12:32, 17 июня 2013
Пример
<tex>pre: element != NULL </tex>
 
<tex>
post: size = size' + 1 and elements[size'] = element </tex>
<tex> void push (Object element)</tex>
668
правок

Навигация