Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Answer:
types
Card :: card-number : N
code : N
Account :: account-number : N
balance : N
holders : Nset ---set of cards
Message = INSUFFICIENT-BALANCE | NO-MONEY-IN-RESERVE |VALID-CARD |
INVALID-CARD | UPDATED
state ATM of
dbase : Card Account
reserve : N
special-account : Account