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

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