Io-7-wyk-Slajd23

Specyfikacje aksjomatyczne(1)

Przechodząc do oprogramowania będziemy potrzebowali trzy typy danych:

• Dir będzie oznaczać strukturę danych reprezentującą książkę telefoniczną,
• Name niech oznacza daną reprezentującą nazwisko abonenta,
• Phone natomiast będzie typem danych określającym numer telefonu.

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