Prototype verifikasjon av TMC

av Jon Kristian Hagene
Bok · Bokmål · 1988

Utgitt	Oslo : [J.K. Hagene] , 1988
Omfang	136 s. : ill.
Opplysninger	Hovedoppgave i informatikk - Universitetet i Oslo, 1988
Emner	Digitalteknikk Informatikk Informatikkfaget : (NO-TrBIB)REAL000964