معنی فارسی postcondition
B1شرطی که باید بعد از اجرای یک عمل یا تابع برآورده شود.
A condition that must be true after the execution of a particular part of a computer program.
- OTHER
example
معنی(example):
این برنامه اطمینان حاصل می‌کند که یک پس‌شرط قبل از تولید خروجی برآورده شده باشد.
مثال:
The program ensures that a postcondition is met before the output is generated.
معنی(example):
در برنامه‌نویسی، پس‌شرط‌ها بعد از اجرای تابع بررسی می‌شوند.
مثال:
In programming, a postcondition is checked after a function execution.
معنی فارسی کلمه postcondition
:
شرطی که باید بعد از اجرای یک عمل یا تابع برآورده شود.
