a constraint that must be true at the completion of an operation

listen to the pronunciation of a constraint that must be true at the completion of an operation
İngilizce - İngilizce
postcondition
a constraint that must be true at the completion of an operation

    Heceleme

    a con·straint that must be true at the com·ple·tion of an op·e·ra·tion

    Türkçe nasıl söylenir

    ı kınstreynt dhıt mʌst bi tru ät dhi kımplişın ıv ın äpıreyşın

    Telaffuz

    /ə kənˈstrānt ᴛʜət ˈməst bē ˈtro͞o ˈat ᴛʜē kəmˈplēsʜən əv ən ˌäpərˈāsʜən/ /ə kənˈstreɪnt ðət ˈmʌst biː ˈtruː ˈæt ðiː kəmˈpliːʃən əv ən ˌɑːpɜrˈeɪʃən/