Design by contract: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Pil56-bot (discussione | contributi)
smistamento lavoro sporco
FrescoBot (discussione | contributi)
Riga 28:
*[[Invariante (informatica)|invariante]]
*[[invariante di classe]]
*[[asserzione (informatica)|asserzione]]
 
{{Portale|informatica}}