Yksinkertaiseen ja hierarkkiseen tietorakennemalliin perustuvien tietorakenteiden formaali esittäminen ja niiden analysointi- ja muutosfunktioiden määrittely
Yksinkertaiseen ja hierarkkiseen tietorakennemalliin perustuvien tietorakenteiden formaali esittäminen ja niiden analysointi- ja muutosfunktioiden määrittely
Yksinkertaiseen ja hierarkkiseen tietorakennemalliin perustuvien tietorakenteiden formaali esittäminen ja niiden analysointi- ja muutosfunktioiden määrittely
Yksinkertaiseen ja hierarkkiseen tietorakennemalliin perustuvien tietorakenteiden formaali esittäminen ja niiden analysointi- ja muutosfunktioiden määrittely