Io-7-wyk-Slajd39

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(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 >>

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Io-7-wyk-Slajd39&oldid=44132”