(Q360690)
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- dewiki Nachbedingung (Informatik)
- enwiki Postcondition
- eswiki Postcondición
- itwiki Postcondizione
- ukwiki Післяумова (формальні методи)
- zhwiki 后置条件
requirement of a result or effect produced when all its initial conditions are met, and that allows validating it