z specification

A TIMETABLING SYSTEM 129 Add Student A Timetable $?: STUDENT $?dom student IT studentTT' = studentTTU{3}} module TT module TT Exercises 11.2 1. Write the operation schema Add Module, to add a module with an empty schedule to the system 2. Write the operation schemas Remove Student and Remove Module. A TIMETABLING SYSTEM 129 Add Student A Timetable $?: STUDENT $?dom student IT studentTT' = studentTTU{3}} module TT module TT Exercises 11.2 1. Write the operation schema Add Module, to add a module with an empty schedule to the system 2. Write the operation schemas Remove Student and Remove Module