InterviewSolution
Saved Bookmarks
| 1. |
What defines the circumstances in which a particular operation is valid?(a) Contradictions(b) Post-condition(c) Vagueness(d) None of the mentionedI got this question in an online interview.My question is taken from Formal Methods of Software Engineering topic in section Advanced Software Engineering of Software Engineering |
|
Answer» Right choice is (d) NONE of the mentioned |
|