Изменения

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

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

1 байт добавлено, 17:55, 30 сентября 2013
→‎Пример
<tex>post: size = size' + 1</tex> <tex> and </tex> <tex> elements[size'] = element </tex>
 
<tex> void push(Object element) </tex>
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32926»

Навигация