*001721301
*00520250613104636.0
*007ta
*008150414s1983    gw            100 u eng d
*00901391cam a2200325 c 4500
*019  $bl
*020  $a0387119817
*020  $a3540119817
*035  $a(EXLNZ-47BIBSYS_NETWORK)998330167924702201
*035  $a(NO-LaBS)15086450(bibid)
*035  $a(NO-TrBIB)833016792
*035  $a833016792-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*084  $a00A10:68B05$2msc
*084  $a68B05$2msc
*084  $aE 201b$2oosk
*1112 $aSymposium on Logics of Programs and their Applications$0(NO-TrBIB)90346932$_100307200
*24510$aLogics of programs and their applications :$bproceedings, Poznan, August 23-29, 1980$cedited by A. Salwicki
*260  $aBerlin$bSpringer$c1983
*300  $aVI,324 s.$bill.
*4901 $aLecture notes in computer science$v148
*650 7$aProgrammering (Databehandling)$2tekord$vKongresser$_186542400
*7001 $aSalwicki, A.$0(NO-TrBIB)90346931$_100307300
*7760 $tLogics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980$w990704373784702201
*830 0$aLecture notes in computer science$v148$_13074400
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9783540119814
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/4/1/9783540119814.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/4/1/9783540119814.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:998330167924702202$b2021-11-14T20:44:40Z$z998330167924702202
^