Io-7-wyk-Slajd22

Z Studia Informatyczne
Wersja z dnia 11:18, 7 wrz 2006 autorstwa MOchodek (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne

Specyfikacje aksjomatyczne


Załóżmy, że chcemy opracować elektroniczną książkę telefoniczną. Książka, jak to w przykładach akademickich bywa, będzie bardzo prosta: z każdym nazwiskiem będzie związany numer telefonu.


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