Io-7-wyk-Slajd22
Z Studia Informatyczne
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.