Io-7-wyk-Slajd39
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaSpecyfikacje aksjomatyczne(7)
Spróbujmy teraz formalnie opisać te operacje. Wykorzystamy notację RAISE. Naszą książkę telefoniczną nazwiemy Directory.
Spróbujmy teraz formalnie opisać te operacje. Wykorzystamy notację RAISE. Naszą książkę telefoniczną nazwiemy Directory.