Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/62712
Campo DC Valoridioma
dc.contributor.advisorMontiel Nelson, Juan Antonioes
dc.contributor.authorNavarro Botello,Héctores
dc.date.accessioned2020-01-21T10:21:00Z-
dc.date.available2007-10-05T00:00:00Zes
dc.date.available2020-01-21T10:21:00Z-
dc.date.issued2006en_US
dc.identifier.othercontentdm-postulpgces
dc.identifier.urihttp://hdl.handle.net/10553/62712-
dc.formatPDFes
dc.format.mimetype300 ppp., TIFF sin compresiónes
dc.languagespaen_US
dc.rightsAcceso restringido para la comunidad universitaria de la ULPGCes
dc.subject3307 Tecnología electrónicaen_US
dc.subject.otherElectrónicaes
dc.subject.otherCircuitos electrónicoses
dc.titleAportaciones a la verificación formal de circuitos secuencialeses
dc.typeinfo:eu-repo/semantics/doctoralThesisen_US
dc.typeThesisen_US
dc.typeThesisen_US
dc.contributor.departamentoDepartamento de Ingeniería Electrónica Y Automáticaes
dc.contributor.facultadEscuela de Ingeniería de Telecomunicación y Electrónicaen_US
dc.identifier.absysnet493567es
dc.type2Tesis doctoralen_US
dc.description.notasPrograma de doctorado: Ingenierí­a de Telecomunicación Avanzadaen_US
dc.identifier.currens1995es
dc.description.numberofpages222 p. : ilustracioneses
dc.utils.revisionen_US
dc.identifier.matriculaTESIS-123441es
dc.identifier.ulpgces
dc.contributor.programaIngeniería De Telecomunicación Avanzada (Interdepartamental)es
item.grantfulltextrestricted-
item.fulltextCon texto completo-
crisitem.advisor.deptGIR IUMA: Instrumentación avanzada-
crisitem.advisor.deptIU de Microelectrónica Aplicada-
crisitem.advisor.deptDepartamento de Ingeniería Electrónica y Automática-
crisitem.author.deptGIR IUMA: Equipos y Sistemas de Comunicación-
crisitem.author.deptIU de Microelectrónica Aplicada-
crisitem.author.parentorgIU de Microelectrónica Aplicada-
crisitem.author.fullNameNavarro Botello,Héctor-
Colección:Tesis doctoral
Restringido ULPGC
miniatura
Adobe PDF (6,8 MB)
Inicia sesión para acceder
Vista resumida

Visitas

42
actualizado el 23-may-2024

Descargas

19
actualizado el 23-may-2024

Google ScholarTM

Verifica


Comparte



Exporta metadatos



Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.