Questa voce contiene una
traduzione, completa o parziale, della voce originale:
«
Postcondition» tratta da
Wikipedia in inglese.
La versione tradotta è la
numero 510031249 del 31 Agosto 2012. Consulta la
cronologia della pagina originale per conoscere l'elenco degli autori.