Bevisovervåker : et verktøy i programverifikasjon. Et system for kontroll av bevis, og til hjelp under bevisføring
Hans Amund Rosbach
Bok Bokmål 1982
| Utgitt | Oslo : H.A. Rosbach , 1982
|
|---|---|
| Omfang | 71 bl.
|
| Opplysninger | Hovedoppgave i informatikk (cand.real) - Universitetet i Oslo, 1982
|
| Emner |
