*001250236
*00520221019150600.0
*007ta
*008150401s1999 xx# 100 u eng d
*00901992cam a2200445 c 4500
*019 $bl
*020 $a3540662464
*035 $a(EXLNZ-47BIBSYS_NETWORK)999913043304702201
*035 $a(NO-LaBS)14090885(bibid)
*035 $a(NO-TrBIB)991304330
*035 $a991304330-47bibsys_network
*040 $aNO-TrBIB$bnob$ekatreg
*080 $a519.68
*080 $a519.681.2
*084 $aD.1.1$2acmccs
*084 $aD.1.2$2acmccs
*084 $aD.2.4$2acmccs
*084 $aD.2.m$2acmccs
*084 $aD.3.1$2acmccs
*084 $aF.3.1$2acmccs
*084 $aF.3.2$2acmccs
*1112 $aWADT'98$0(NO-TrBIB)99051574$_50767800
*24510$aRecent trends in algebraic development techniques :$b13th international workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998 : selected papers$cJosé Luiz Fiadeiro (ed.)
*260 $aBerlin$bSpringer$cc1999
*300 $aX, 340 s.$bill.
*4901 $aLecture notes in computer science$v1589
*650 7$aAlgebraisk spesifikasjon$2tekord$vKongresser$_189942200
*650 7$aProgramutvikling$2tekord$vKongresser$_186649300
*650 7$aWadt$2noubomn$_234389500
*7001 $aFiadeiro, José Luiz$0(NO-TrBIB)99051573$_24525800
*7760 $tRecent Trends in Algebraic Development Techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers$w990704654284702201
*830 0$aLecture notes in computer science$v1589$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=3540662464
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540662464
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540662464
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540662464
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540662464
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/4/6/9783540662464.jpg$qimage/jpeg
*901 $a80
*999 $aoai:nb.bibsys.no:999913043304702202$b2021-11-14T20:03:16Z$z999913043304702202
^