Pioneering software engineer whose work was critical to the Apollo moon landings ...