For the example algebraic specification provided in Figure 18.4, add an operation that updates the aircraft details for a given track, so that the signature will now include: update (aircraft_table,...

For the example algebraic specification provided in Figure 18.4, add an operation that updates the aircraft details for a given track, so that the signature will now include: update (aircraft_table, aircraft_track, aircraft_details) → aircraft_table