*001389371
*00520250613164706.0
*007ta
*008981127s1990    xxk           000 u eng d
*00901306cam a22002777c 4500
*019  $bl
*020  $a3540195777$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999500878314702201
*035  $a(NO-LaBS)14559293(bibid)
*035  $a(NO-TrBIB)950087831
*035  $a950087831-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*24500$aFormal methods in standards :$ba report from the BCS working group$cC. L. N. Ruggles (ed.), principal contributors: Derek Andrews ... [et al.]
*260  $aLondon$bSpringer-Verlag$c1990
*300  $a135 s.
*653  $aedb$astandarder$_67180500
*7001 $aAndrews, Derek$0(NO-TrBIB)90210814$_67180600
*7001 $aRuggles, C. L. N. (Clive L. N.)$_67180700
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=3540195777
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540195771
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540195777
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540195771
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540195771
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/1/7/9783540195771.jpg$qimage/jpeg
*901  $a60
*999  $aoai:nb.bibsys.no:999500878314702202$b2021-11-14T20:16:22Z$z999500878314702202
^