Three approaches to reliable software
Tor StålhaneInngår i serie: RUNIT report (STF14 A85006)
Stålhane, Tor Bok Bokmål utgitt 1985
Stålhane, Tor Bok Bokmål utgitt 1985
Ledig
- Automatlager: 1 av 1 ledig
*001730211 *00520250613133026.0 *007ta *008041217s1985 no 000 u nob d *00901083cam a2200277 c 4500 *019 $bl *020 $a8259538326 *035 $a(EXLNZ-47BIBSYS_NETWORK)998610609704702201 *035 $a(NO-LaBS)14740514(bibid) *035 $a(NO-TrBIB)861060970 *035 $a861060970-47bibsys_network *040 $aNO-TrBIB$bnob$ekatreg *080 $a519.686 *080 $a681.3.06-192 *1001 $aStålhane, Tor$0(NO-TrBIB)90058249$_22966600 *24510$aThree approaches to reliable software$cTor Stålhane *260 $aTrondheim$bComputing Centre at the University of Trondheim$c1985 *300 $ai, 18 bl.$bfig. *4901 $aRUNIT report$vSTF14 A85006 *533 $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2016-06-30 *650 7$aDatamaskinprogrammer$xPålitelighet$2tekord$_191130900 *653 $aprogramvare$asikkerhet$apålitelighet$_101082000 *830 0$aSINTEF rapport (Regnesentret ved Universitetet i Trondheim)$vSTF14 A85006$w998610204134702201$_22966900 *85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2016063008103$yNettbiblioteket$zDigital representasjon *901 $a80 *999 $aoai:nb.bibsys.no:998610609704702202$b2021-11-14T20:45:16Z$z998610609704702202 ^