Invarianter og god programmeringsskikk_澳门葡京手机版app下载

I denne forelesningen skal vi se p? hvordan en god programmerer resonerer om programmet sitt. Vi skal se p? tilstander i programmet, tilstandsoverganger og grupper av tilstander som er beskrevet ved antagelser eller betingelser. En viktig gruppe slike antagelser kalles invarianter. Vi skal ogs? se p? noen eksamenstips i forbindelse med dette stoffet.