Implementasjon av PASCAL og en teoremgenerator for automatisk verifikasjon av PASCAL-programmer
Terje Mølster
Bok Bokmål 1974
| Utgitt | Trondheim : Almenavdelingen, NTH , 1974
|
|---|---|
| Omfang | Fl. pag
|
| Opplysninger | Hovedoppgave i databehandling. - Veileder: Tore Amble
|
