Изменения

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

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

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

Навигация