Especificación y verificación formal de un sistema de administración de redes distribuido con árbitro

Please use this identifier to cite or link to this item: http://hdl.handle.net/10553/61069

DC Field	Value	Language
dc.contributor.advisor	Suárez Sarmiento, Álvaro	es
dc.contributor.author	Marrero Ruiz, Mario	es
dc.date.accessioned	2020-01-21T07:53:52Z	-
dc.date.available	2007-06-06T00:00:00Z	es
dc.date.available	2020-01-21T07:53:52Z	-
dc.date.issued	2001	en_US
dc.identifier.other	contentdm-postulpgc	es
dc.identifier.uri	http://hdl.handle.net/10553/61069	-
dc.format	PDF	es
dc.format.mimetype	300 ppp., TIFF sin compresión	es
dc.language	spa	en_US
dc.rights	Acceso restringido para la comunidad universitaria de la ULPGC	es
dc.subject	3325 Tecnología de las telecomunicaciones	en_US
dc.subject.other	Telecomunicaciones	es
dc.subject.other	Electrónica	es
dc.title	Especificación y verificación formal de un sistema de administración de redes distribuido con árbitro	es
dc.type	info:eu-repo/semantics/studentThesis	en_US
dc.type	StudentThesis	en_US
dc.contributor.facultad	Escuela de Ingeniería de Telecomunicación y Electrónica	en_US
dc.identifier.absysnet	219247	es
dc.type2	Proyecto fin de carrera	en_US
dc.identifier.currens	442	es
dc.description.numberofpages	228 p.	es
dc.utils.revision	Sí	en_US
dc.identifier.matricula	TFT-13531	es
dc.identifier.ulpgc	Sí	es
dc.contributor.titulacion	Ingeniero de Telecomunicación	es
item.grantfulltext	restricted	-
item.fulltext	Con texto completo	-
crisitem.advisor.dept	GIR IUCES: Arquitectura y Concurrencia	-
crisitem.advisor.dept	IU de Cibernética, Empresa y Sociedad (IUCES)	-
crisitem.advisor.dept	Departamento de Ingeniería Telemática	-
Appears in Collections:	Proyecto fin de carrera Restringido ULPGC

This file is reserved to the following groups: autenticados

Show simple item record

29

checked on Sep 23, 2023

13

checked on Sep 23, 2023

Check