Simulering av sanntidssystemer

Kristian Hattestad
Bok · Bokmål · 1997

Utgitt	Oslo : K. Hattestad , 1997
Omfang	91 s. : ill.
Opplysninger	Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 1997
Emner	Databehandling Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 Logikk Vis mer... Prolog Sanntidssystemer Verifikasjon hovedoppgaver informatikk sdl proggen prolog