Consider the following pseudo code, where x and y are positive integers.
begin q: = 0 r : = x while r ≥ y do
being r : = r – y q : = q + 1 end end The post condition that needs to be satisfied after the program terminates is
Loading...