Page 1 of 1
Question # 1: Write a Z specification to model a queue of integers. The queue should have the insert and delete operatio
Posted: Fri Jul 01, 2022 5:52 am
by answerhappygod
Question # 1:
Write a Z specification to model a queue of integers. The queueshould have the insert and delete operations. The maximum elementsthat a queue can have been 100.
Question # 2:
Write a Z specification to model Date Schema. Define theoperation decrement to decrement the current date?