Изменения

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

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

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

Навигация