*001694837
*00520250613104133.0
*007ta
*008110607s2002 gw 100 u eng d
*00901955cam a2200397 c 4500
*019 $bl
*020 $a3540437037$qh.
*035 $a(EXLNZ-47BIBSYS_NETWORK)990215488034702201
*035 $a(NO-LaBS)13451707(bibid)
*035 $a(NO-TrBIB)021548803
*035 $a021548803-47bibsys_network
*040 $aNO-TrBIB$bnob$ekatreg
*080 $a004.414.38
*084 $aF.3.0$2acmccs
*1112 $aIFM 2002$0(NO-TrBIB)2121623$_98005700
*24510$aIntegrated formal methods :$bthird international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings$cMichael Butler, Luigia Petre, Kaisa Sere (eds.)
*260 $aBerlin$bSpringer$cc2002
*300 $aX, 399 s.$bill.
*4901 $aLecture notes in computer science$v2335
*650 0$aFormal methods (Computer science)$_26915400
*650 7$aFormell spesifikasjon (Programutvikling)$2tekord$vKongresser$_205233700
*650 7$aFormelle metoder$0(NO-TrBIB)REAL002404$2noubomn$_203894400
*7001 $aButler, Michael$d1967-$0(NO-TrBIB)7055710$_282611400
*7001 $aPetre, Luigia$0(NO-TrBIB)2121621$_98005800
*7001 $aSere, Kaisa$0(NO-TrBIB)90270521$_98005900
*7760 $tIFM 2002$w990227234714702201
*7760 $tIntegrated Formal Methods : Third International Conference, IFM 2002 Turku, Finland, May 15-18, 2002 Proceedings$w990704709014702201
*830 0$aLecture notes in computer science$v2335$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=3540437037
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540437031
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540437037
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540437031
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540437031
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/1/3/9783540437031.jpg$qimage/jpeg
*901 $a80
*999 $aoai:nb.bibsys.no:990215488034702202$b2021-11-14T20:42:45Z$z990215488034702202
^
