Изменения

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

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

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

Навигация