Etiqueta de registo: 00635cam 2200205 450
001 1783696
003 http://id.bnportugal.gov.pt/bib/porbase/1783696
005 20030601062100.0
035 ## $686454
095 ## $aPTBN00900035
100 ## $a19940208d1993 k d0pory0103 ba
101 0# $apor
102 ## $aPT
200 1# $aAlmada, 20 anos de cidade$fCâmara Minicipal de Almada
210 ## $aAlmada$cCMA,$d1993
215 ## $a30 p.$cmui il.$d19x25 cm
675 ## $a908(469.412)(036)$vBN$zpor$3292799
710 01 $aAlmada.$bCâmara Municipal$3715
801 #0 $aPT$bBN$gRPC
977 ## $1J3-7-76[13]$2coop$4BPMP$6mq1706146$7bc$8coop$9BPMP$b93of.0724$k0
977 ## $12805/M$2coop$4MPAA$6mq1094936$7bc$8coop$9MPAA$b2805$k0
998 ## $aMPA21-12

Etiqueta de registo: 01084nam 2200265 450
001 1668459
003 http://id.bnportugal.gov.pt/bib/porbase/1668459
035 ## $a(bn)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$31672593
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