Part 1 looks at the basic problems of translating MATLAB to C. Part 3 examines the verification process and makes the case for ...