*001928689
*00520250613134742.0
*007ta
*008101022s1993    no            100 0 eng
*00901287cam a2200289 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999315926584702201
*035  $a(NO-LaBS)14084355(bibid)
*035  $a(NO-TrBIB)931592658
*035  $a931592658-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*080  $a681.3.06.004.6
*1112 $aNordic Workshop on Program Correctness$0(NO-TrBIB)90676149$_118022400
*24510$aProceeding[s] of the 4th Nordic Workshop on Program Correctness$cedited by S. Meldal and M. Haveraaen
*260  $aBergen$bDepartment of Informatics, University of Bergen$c1993
*300  $aVI, 239 s.$bfig.
*4901 $aReports in informatics$vno. 78
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2017-01-10
*588  $aKatalogisert etter omslag
*650 7$aDatamaskinprogrammer$xFeil og skader$2tekord$vKongresser$_191894200
*653  $aprogramvare$aprogrammeringsspråk$autvikling$afeilfinning$akongresser$_118022600
*7001 $aHaveraaen, Magne$d1958-$0(NO-TrBIB)90203408$_35724700
*7001 $aMeldal, Sigurd$0(NO-TrBIB)90263091$_61575300
*830 0$aReports in informatics (trykt utg.)$x0333-3590$vno. 78$w998711258704702201$_14253500
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2017011048211$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999315926584702202$b2021-11-14T21:06:29Z$z999315926584702202
^