Aliasproblematikk innen Hoare-logikk for objektorientert programmering
Henrik Berg
Bok Bokmål 2002
| Utgitt | Oslo : H. Berg , 2002
|
|---|---|
| Omfang | 118 s. : ill.
|
| Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2002
|
| Emner | Databehandling
Hoare-logikk Programverifikasjon informatikk alias fomelle metoder programverifikasjon |
