Design by contract: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 25:
*[[Invariante (informatica)|invariante]]
*[[invariante di classe]]
*[[asserzione (informatica)|
{{Portale|informatica}}
|