I am new in Z notation and I need to solve these two problems.
"When an insurance policy is agreed between the client and the insurance agent, the system should send an email to the client with the content of the agreement"
"If a person owns more than one house, the assessed value of the houses is discounted by the number of the houses (i.e. an owner of 2 houses gets 2% discount, and so on)"
Thanks for any help.
"When an insurance policy is agreed between the client and the insurance agent, the system should send an email to the client with the content of the agreement"
"If a person owns more than one house, the assessed value of the houses is discounted by the number of the houses (i.e. an owner of 2 houses gets 2% discount, and so on)"
Thanks for any help.