*001885836
*00520250613104051.0
*007ta
*008100209s2001    gw            100 u eng d
*00901930cam a2200457 c 4500
*019  $bl
*020  $a354043075X$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990201344794702201
*035  $a(NO-LaBS)14326596(bibid)
*035  $a(NO-TrBIB)020134479
*035  $a020134479-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a004
*080  $a004.42
*084  $aD.1.3$2acmccs
*084  $aD.1.5$2acmccs
*084  $aD.3.2$2acmccs
*084  $aF.3.2$2acmccs
*084  $aF.4.1$2acmccs
*084  $aH.2.3$2acmccs
*084  $aI.2.0$2acmccs
*1112 $aInternational Andrei Ershov Memorial Conference$0(NO-TrBIB)90954955$_58437100
*24510$aPerspectives of system informatics :$b4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers$cDines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
*260  $aBerlin$bSpringer$cc2001
*300  $aXIII, 548 s.$bill.
*4901 $aLecture notes in computer science$v2244
*650 7$aBeskranket programmering$0(NO-TrBIB)REAL002777$2noubomn$_206569400
*650 7$aInformasjonsteknologi$2tekord$9nno$_186888700
*650 7$aLogikkprogrammering$0(NO-TrBIB)REAL009516$2noubomn$_206569600
*650 7$aObjektorientert programmering$0(NO-TrBIB)REAL001244$2noubomn$_373639600
*650 7$aProgramutvikling$2tekord$vKongresser$_186649300
*650 7$aVerifikasjon$0(NO-TrBIB)REAL006891$2noubomn$_206569700
*7001 $aBjørner, Dines$0(NO-TrBIB)90107008$_29976200
*7001 $aBroy, Manfred$0(NO-TrBIB)90171434$_58437200
*7001 $aZamulin, A.V.$0(NO-TrBIB)57331$_58437400
*7760 $tInternational Andrei Ershov Memorial Conference$w990219808294702201
*830 0$aLecture notes in computer science$v2244$_13074400
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/9/5/9783540430759.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/X/5/354043075X.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:990201344794702202$b2021-11-14T20:56:40Z$z990201344794702202
^