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 |
Utgitt | Oslo : J. Dovland , 2002
|
---|---|
Omfang | 78 s
|
Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2002
|
Emner |