What are the differences pre condition ,post condition and invariant in computer terminology [closed]