Io-7-wyk-Slajd39

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(7)

Specyfikacje aksjomatyczne(7)


Spróbujmy teraz formalnie opisać te operacje. Wykorzystamy notację RAISE. Naszą książkę telefoniczną nazwiemy Directory.


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