To write a Z specification for each of the tasks listed in the worksheet attached on Microsoft Word....
Should be able to insert in Linux(not required from yourself)
If possible please notify me
Schemas for each task should be explained
Full requirement attached on worksheet.
Tasks to be completed (attached worksheet)
Microsoft Word but should be written in Z language.