Pekeralising i Hoare-logikk

Johan Dovland
Bok · Bokmål · 2002

Utgitt	Oslo : J. Dovland , 2002
Omfang	78 s
Opplysninger	Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2002
Emner	Databehandling Hoare-logikk hovedoppgaver informatikk