*001449205
*00520250613104241.0
*007ta
*008090618s2003    gw            100 u eng d
*00902332cam a2200397 c 4500
*019  $bl
*020  $a3540205276$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990400547484702201
*035  $a(NO-LaBS)14229678(bibid)
*035  $a(NO-TrBIB)040054748
*035  $a040054748-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a004.41
*084  $aF.3.0$2acmccs
*24500$aFormal methods at the crossroads :$bfrom panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers$cBernhard K. Aichernig, Tom Maibaum (eds.)
*260  $aBerlin$bSpringer$cc2003
*300  $aXIV, 453 s.$bill.
*4901 $aLecture notes in computer science$v2757
*650 0$aSoftware engineering$_10112900
*650 7$aProgramspesifikasjon$0(NO-TrBIB)REAL002719$2noubomn$_203857400
*650 7$aProgramutvikling$2tekord$vKongresser$_186649300
*650 7$aProgramverifikasjon$0(NO-TrBIB)REAL007699$2noubomn$_203966000
*7001 $aAichernig, Bernhard K.$0(NO-TrBIB)4021675$_73901700
*7001 $aMaibaum, T.S.E.$0(NO-TrBIB)90538167$_73901800
*7102 $aInternational Institute for Software Technology$0(NO-TrBIB)90814165$_73901900
*7760 $tFormal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers$w990407490884702201
*830 0$aLecture notes in computer science$v2757$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=3540205276
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540205276
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540205272
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540205272
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/2/7/9783540205272.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/2/7/9783540205272.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/6/7/3540205276.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:990400547484702202$b2021-11-14T20:21:42Z$z990400547484702202
^