Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03115305n
Noun Concept
Categories: Concetti di programmazione
IT
postcondizione
IT
In programmazione, una postcondizione è una condizione o un predicato che deve essere sempre vero immediatamente dopo l'esecuzione di una sezione di codice o dopo un'operazione in una specifica formale. Wikipedia
Definitions
Relations
Sources
IT
In programmazione, una postcondizione è una condizione o un predicato che deve essere sempre vero immediatamente dopo l'esecuzione di una sezione di codice o dopo un'operazione in una specifica formale. Wikipedia
condizione che deve essere sempre vera subito dopo l'esecuzione di una sezione di codice o dopo un'operazione in una specifica formale Wikidata
IS A
condizione
DIFFERENT FROM
congettura
Wikipedia
IT
postcondizione
Wikidata
IT
Postcondizione
Wikipedia Translations
IT
postcondizione

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License