*001154814
*00520250613105444.0
*007ta
*008150401s1998    gw            100 u eng d
*00902121cam a2200445 c 4500
*019  $bl
*020  $a3540654933
*035  $a(EXLNZ-47BIBSYS_NETWORK)999901465704702201
*035  $a(NO-LaBS)13830842(bibid)
*035  $a(NO-TrBIB)99014657x
*035  $a99014657x-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a510.6-37
*080  $a519.683
*084  $aD.2.4$2acmccs
*084  $aF.3.1$2acmccs
*084  $aF.4.1$2acmccs
*084  $aI.2.3$2acmccs
*1112 $aCOMPOS'97$0(NO-TrBIB)99007231$_38150900
*24510$aCompositionality :$bthe significant difference : international symposium, COMPOS'97, Bad Malente, Ge[r]many, September 8-12, 1997 : revised lectures$cWillem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
*260  $aBerlin$bSpringer$cc1998
*300  $a646 s.$bill.
*4901 $aLecture notes in computer science$v1536
*650 0$aAutomatic theorem proving$xCongresses$_38151000
*650 0$aParallel processing (Electronic computers)$xCongresses$_38151100
*650 7$aBevisføring (Matematikk)$xDatabehandling$2tekord$vKongresser$_215262300
*650 7$aBevisteori$0(NO-TrBIB)REAL011320$2noubomn$_204069700
*650 7$aModularisering (Programmering)$2tekord$vKongresser$_190914000
*7001 $aLangmaack, H.$0(NO-TrBIB)90300002$_16240700
*7001 $aPnueli, Amir$0(NO-TrBIB)90572749$_37383400
*7001 $aRoever, W.-P. de$0(NO-TrBIB)90359359$_38151300
*7760 $tCompositionality: The Significant Difference : International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures$w990704648714702201
*830 0$aLecture notes in computer science$v1536$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=9783540654933
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=9783540654933
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9783540654933
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/3/3/9783540654933.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/3/3/9783540654933.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:999901465704702202$b2021-11-14T19:52:48Z$z999901465704702202
^