*001512822
*00520230330142535.0
*007ta
*008150402s1993    no#           000 0 eng
*00901219cam a2200349 c 4500
*015  $a9301742$2nbf
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999311577654702201
*035  $a(NO-LaBS)14801413(bibid)
*035  $a(NO-TrBIB)931157765
*035  $a931157765-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*080  $a510.6
*080  $a519.683
*08274$a003.7$qNO-OsNB$24/nor
*084  $aF.1.2$2acmccs
*1001 $aWalicki, Michał$0(NO-TrBIB)90653426$_31267600
*24510$aAlgebraic specifications of nondeterminism$cMichał Walicki
*260  $aBergen$bUniversity of Bergen, Department of Informatics$c1993
*300  $a191 s.$c30 cm
*502  $aAvhandling (dr.scient.) - Universitetet i Bergen, 1993
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2017-01-25
*588  $aKatalogisert etter omslag
*650 7$aAlgebraisk spesifikasjon$0(NO-TrBIB)REAL011385$2noubomn$_223397100
*653  $amatematisk$alogikk$aprogrammering$asemantikk$_80121600
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2017012548154$yNettbiblioteket$zDigital representasjon
*901  $a90
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:999311577654702202$b2021-11-14T20:26:52Z$z999311577654702202
^