DictionaryForumContacts

   Russian English
Google | Forvo | +
постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполненияstresses
progr. postcondition: assertion that pertains to a point immediately following, in the execution sequence, a specified portion of a program (ISO/IEC 2382:2015 ssn)