Mostrar el registro sencillo del ítem
Formal methods in context [Los métodos formales en contexto]
dc.contributor.author | Serna M. E. | |
dc.contributor.author | Serna A. A. | |
dc.date.accessioned | 2020-08-28T22:28:57Z | |
dc.date.available | 2020-08-28T22:28:57Z | |
dc.date.issued | 2014 | |
dc.identifier.uri | http://hdl.handle.net/20.500.12622/3785 | |
dc.source | Scopus | |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84923103651&partnerID=40&md5=b7a5768758ea5f574b8c33adef40a0e4 | |
dc.title | Formal methods in context [Los métodos formales en contexto] | spa |
dc.title.alternative | CISCI 2014 - Decima Tercera Conferencia Iberoamericana en Sistemas, Cibernetica e Informatica, Undecimo Simposium Iberoamericano en Educacion, Cibernetica e Informatica, SIECI 2014 - Memorias | |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.rights.accessrights | info:eu-repo/semantics/closedAccess | |
dc.relation.citationstartpage | 61 | |
dc.relation.citationendpage | 66 | |
dc.type.version | info:eu-repo/semantics/publishedVersion |
Ficheros en el ítem
Ficheros | Tamaño | Formato | Ver |
---|---|---|---|
No hay archivos asociados a este ítem. |