*001224689
*00520250613085253.0
*007ta
*008150407s1994    fr            000 u eng d
*00900982cam a2200265 c 4500
*019  $bl
*020  $a0130929905
*035  $a(EXLNZ-47BIBSYS_NETWORK)999410280034702201
*035  $a(NO-LaBS)13547711(bibid)
*035  $a(NO-TrBIB)941028003
*035  $a941028003-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a519.68:510
*1001 $aArnold, A.$0(NO-TrBIB)90528893$_29828100
*24510$aFinite transition systems :$bsemantics of communicating systems$cAndré Arnold ; translated by John Plaice
*2461 $aSystèmes de transitions finis et sémantique des processus communicants$iOriginaltittel
*260  $aParis$bMasson$cc1994
*300  $aVII, 177 s.$bfig.
*4900 $aPrentice Hall international series in computer science
*650 0$aSequential machine theory$_41190700
*650 7$aLogikkprogrammering$2tekord$_187441200
*653  $alogisk$aprogrammering$_47445800
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=0130929905
*901  $a80
*999  $aoai:nb.bibsys.no:999920085890502202$b2021-11-14T19:58:46Z$z999920085890502202
^