Io-7-wyk-Slajd29

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(3)

Specyfikacje aksjomatyczne(3)


Aby móc dodawać nowych abonentów do książki telefonicznej wprowadzimy operację Add (po angielsku „dodaj”).

Operacja ta ma trzy parametry wejściowe: nazwisko abonenta N, numer telefonu F i książkę telefoniczną D, do której chcemy dodać informacje o tym abonencie.

Jako wynik dostajemy nową książkę telefoniczną z dopisaną informacją o nowym abonencie.


<< Poprzedni slajd | Spis treści | Następny slajd >>