Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00230nam 2200025 450 001 1668459 003 http://id.bnportugal.gov.pt/bib/catbnp/1668459 100 ## $a20071008d2005 k y0pory0103 ba 101 0# $aeng$dpor 102 ## $aPT 105 ## $aa m 001yy 106 ## $ar 200 1# $aModel checking of petri nets for embedded systems$bTexto policopaido]$fÓscar Rafael da Silva Ferreira Ribeiro$gorient. João Miguel Lobo Fernandes, Olga Maria Gomes Martins Pacheco 210 #9 $aBraga$c[s.n.],$d2005 215 ## $aX, 77 p.$cil.$d24 cm 320 ## $aBibliografia, p. 59-62 328 #0 $bTese mestr.$cInformática$eDep. de Informática, Escola de Engenharia, Univ. do Minho$d2005 675 ## $a004.4(043)$vBN$zpor$3827344 675 ## $a519.87(043)$vBN$zpor$3297306 700 #1 $aRibeiro,$bÓscar Rafael da Silva Ferreira$31306826 702 #1 $aFernandes,$bJoão Miguel Lobo,$f1968-$4727$31816545 702 #1 $aPacheco,$bOlga Maria Gomes Martins$4727$31174295 712 02 $aUniversidade do Minho.$bEscola de Engenharia.$bDepartamento de Informática$4295$31214610 801 #0 $aPT$bBN$gRPC 966 ## $lBN$mFGMON$sP. 23304 V.$x1
Etiqueta de registo: 00650cam 2200205 450 001 1186448 003 http://id.bnportugal.gov.pt/bib/catbnp/1186448 100 ## $a20031001d2001 k y0pory0103 ba 101 0# $apor$deng 102 ## $aPT 105 ## $aa m 001yy 106 ## $ar 200 1# $aEspecificação normativa de agentes institucionais e a interacção entre agentes$bTexto policopiado]$fOlga Maria Gomes Martins Pacheco 210 #9 $aBraga$c[s.n.],$d2001 215 ## $aIX, 236 p.$cil.$d25 cm 320 ## $aBibliografia, p. 231-236 328 ## $aTese dout. Informática, Univ. Minho, 2001 675 ## $a510.6(043.2)$3292219 675 ## $a519.6(043.2)$vBN$zpor$3304652 675 ## $a061(043.2)$3519769 700 #1 $aPacheco,$bOlga Maria Gomes Martins$31174295 966 ## $lBN$mFGMON$sS.A. 106155 V.$x1
|
|
|