Io-7-wyk-Slajd23

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(1)

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