Consider the following specification:
pre n >= 1
post search module(a, n, number) = FOUND(a, number)
reads a, n, number
changes -
mem -
Remark: Let i be an integer number. Then, FOUND = 0 iff a does not contain
number and FOUND = i iff a[i] = number. search module is the name of...