*001543576
*00520250613135957.0
*007ta
*008950809s1995    no            000 u eng
*00901290cam a2200301 c 4500
*015  $a9408072$2nbf
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999517002354702201
*035  $a(NO-LaBS)14158022(bibid)
*035  $a(NO-TrBIB)951700235
*035  $a951700235-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*080  $a510.6
*080  $a510.63
*080  $a519.876
*1001 $aSlupphaug, Olav$0(NO-TrBIB)90841755$_60942900
*24512$aA brief introduction to some logics, formal languages, and Petri net theory$cOlav Slupphaug
*260  $aTrondheim$bUniversitetet i Trondheim, Norges tekniske høgskole, Institutt for teknisk kybernetikk$c1995
*300  $a51 bl.$bfig.
*4901 $aRapport / Universitetet i Trondheim, Norges tekniske høgskole, Institutt for teknisk kybernetikk$v95-45-W
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2017-07-11
*650 7$aFormelle språk$2tekord$_187202400
*650 7$aPetri-nett$2tekord$_187202500
*650 7$amatematisk$alogikk$2tekord$_187620500
*830 0$aRapport (Norges tekniske høgskole. Institutt for teknisk kybernetikk : trykt utg.)$x0803-5601$v95-45-W$w998010621954702201$_15949400
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2017071109543$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999517002354702202$b2021-11-14T20:29:32Z$z999517002354702202
^