![]() |
||||||
Basicamente, lo que debemos saber sobre las precondiciones y postcondiciones es la estructura en un programa. Asi pues tenemos la siguiente estructura:
![]() Ahora tratemos de ilustrar de manera sencilla esta estructura a traves de un programa que dado un numero calcule su cuadrado: ![]() |
![]() |