Io-7-wyk-Slajd26
Z Studia Informatyczne
Specyfikacje aksjomatyczne(2)
Nasza książka będzie oferować cztery operacje i każda z nich będzie funkcją. Najważniejszą operacją jest operacja Lookup (po angielsku „poszukaj”) odszukująca w książce telefonicznej numer telefonu podanego abonenta.
Operacja ta ma dwa parametry wejściowe: nazwisko abonenta N i książkę telefoniczną D, w której należy poszukać numer telefonu.
Wynikiem jest numer telefonu podanego abonenta.
