Refinar Meus Resultados

Assunto 

1. Computer Software  (5)
2. Formal Methods (Computer Science)–Congresses  (5)
3. System Design  (3)
4. Engenharia De Programas  (2)
5. Especificação De Sistemas E Programas (Congressos)  (2)
6. Mobile Communication Systems  (1)
7. Application Software  (1)
8. Systementwurf  (1)
9. Bertinoro (2005)  (1)
10. Ciência Da Computação (Congressos)  (1)
11. Verificação E Validação De Software (Congressos)  (1)
12. Sistemas Distribuídos (Congressos)  (1)
13. Verteilte Programmierung  (1)
14. Desenvolvimento De Software  (1)
15. Engenharia De Programas (Congressos)  (1)
16. Formale Methode  (1)
17. Informatique Mobile  (1)
18. Softwares (Gerenciamento)  (1)
19. Técnicas De Programação (Congressos)  (1)
20. Logiciels  (1)
21. Mais opções 

Autor/Criador 

1. International Symposium of Formal Methods Europe  (2)
2. Araki, K  (1)
3. World Congress on Formal Methods in the Development of Computing Systems  (1)
4. Mandrioli, D  (1)
5. Woodcock, J  (1)
6. Davies, J  (1)
7. LINK (Online service)  (1)
8. Bogliolo, A  (1)
9. Hayes, I  (1)
10. Dean, N  (1)
11. Boute, R  (1)
12. Simao, A  (1)
13. Tarlecki, A  (1)
14. TFM 2004  (1)
15. Brazilian Symposium on formal Methods  (1)
16. Fitzgerald, J  (1)
17. Wing, J  (1)
18. Bernardo, M  (1)
19. International School on Formal Methods for the Design of Computer Communication  (1)
20. Morgan, C  (1)
21. Mais opções 

Data de Publicação 

Biblioteca 

1. ICMC - Inst. Ciên. Mat. Computação  (5)
2. IME - Inst. Matemática e Estatística  (5)
3. EACH - Esc. Artes, Ciências e Humanidades  (1)
4. Mais opções