Buscar
Añadir filtros:
Usa los filtros para afinar la busqueda.
Resultados 1-1 de 1.
- Anterior
- 1
- Siguiente
Resultados por ítem:
Fecha de publicación | Título | Autor(es) | Tipo |
---|---|---|---|
14-ene-2016 | Tangram: uma ferramenta de apoio à verificação formal de sistemas de tempo real baseados em componentes | Muniz, André Luís Nunes | Dissertação |