Tamanho: 2,01 MB
Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais
- Autor: Fábio Henrique de Assis
- Categoria: Teses e Dissertações
- Idioma: Português
- Fonte: Programas de Pós-graduação da CAPES
- Instituição/Programa: USP/ENGENHARIA MECÂNICA
- Área Conhecimento: ENGENHARIA MECÂNICA
- Nível: Mestrado
- Ano da Tese: 2009
RESUMO
Sugestão de livros:
Download
Download
Download
Download
Download
Download
Download
Download
Download
Download