Bruk av substitusjonssystemer til formelle bevis Appendiks

Eva Hadler Vihovde
Bok · Bokmål · 1989

Utgitt	Oslo : [E. H. Vihovde] , 1989
Omfang	76 bl.
Emner	Abel Databehandling Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 Vis mer... Programspesifikasjon Programverifikasjon informatikk databehandling