*001157086
*00520250613104306.0
*007ta
*008090622s2004 gw 100 u eng d
*00901889cam a2200385 c 4500
*019 $bl
*020 $a3540213775$qh.
*035 $a(EXLNZ-47BIBSYS_NETWORK)990409752664702201
*035 $a(NO-LaBS)14314270(bibid)
*035 $a(NO-TrBIB)040975266
*035 $a040975266-47bibsys_network
*040 $aNO-TrBIB$bnob$ekatreg
*080 $a004.414.38
*084 $aF.3.0$2acmccs
*1112 $aIFM 2004$0(NO-TrBIB)4087134$_38458100
*24510$aIntegrated formal methods :$b4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings$cEerke A. Boiten, John Derrick, Graeme Smith (eds.)
*260 $aBerlin$bSpringer$cc2004
*300 $aXI, 540 s.$bill.
*4901 $aLecture notes in computer science$v2999
*650 7$aFormell spesifikasjon (Programutvikling)$2tekord$vKongresser$_205233700
*650 7$aFormelle metoder$0(NO-TrBIB)REAL002404$2noubomn$_203894400
*7001 $aBoiten, Eerke$0(NO-TrBIB)2067570$_38458300
*7001 $aDerrick, John$0(NO-TrBIB)90253762$_31233800
*7001 $aSmith, Graeme$d1966-$0(NO-TrBIB)4091152$_280769600
*7760 $tIFM 2004$w990420329624702201
*830 0$aLecture notes in computer science$v2999$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540213772
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540213775
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540213772
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540213772
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/5/7/3540213775.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/2/7/9783540213772.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/5/7/3540213775.jpg$qimage/jpeg
*901 $a80
*999 $aoai:nb.bibsys.no:990409752664702202$b2021-11-14T19:52:59Z$z990409752664702202
^
