Q# 3: Write the pre and post-conditions for the following design specification: A procedure search has three parameters: arr, lookfor, and found. Parameter arr is an integer array with a range of 1 .....

Extracted text: Q# 3: Write the pre and post-conditions for the following design specification: A procedure search has three parameters: arr, lookfor, and found. Parameter arr is an integer array with a range of 1 .. 200. Parameter lookfor is an integer parameter. If lookfor occur in arr then found is set to one otherwise, it is set to zero.