Resultados de 1 a 10 de 11 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedingsInternational Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England) John Fitzgerald 1965-; Ian Hayes; Andrzej TarleckiBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedingsInternational Symposium of Formal Methods Europe (1st 1993 Odense, Denmark) Jim Woodcock; P. G Larsen 1964- (Peter Gorm)Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.670 e.1 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedingsInternational Symposium of Formal Methods Europe (12th 2003 Pisa, Italy) Keijiråo Araki 1954-; Stefania Gnesi 1954-; Dino MandrioliBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2805 )(Acessar) |
| 4 |
Material Type: Livro
|
|
FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedingsInternational Symposium of Formal Methods Europe (4th 1997 Graz, Austria) John Fitzgerald 1965-; C. B Jones (Cliff B.) 1944-; Peter Lucas 1955-Berlin New York Springer c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1313 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedingsInternational Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain) Maurice Naftalin 1951-; Tim Denvir 1939-; Miquel BertranBerlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.873 e.1 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
FME 2001: Formal Methods for Increasing Software ProductivityInternational Symposium of Formal Methods Europe José N Oliveira; Pamela ZaveSpringer Berlin Heidelberg 2001Acesso online |
| 7 |
Material Type: Livro
|
|
FME 2002:Formal Methods—Getting IT RightInternational Symposium of Formal Methods Europe Lars-Henrik Eriksson; Peter Alexander Lindsay; Peter A LindsaySpringer Berlin Heidelberg 2002Acesso online |
| 8 |
Material Type: Livro
|
|
FME'96: Industrial Benefit and Advances in Formal MethodsInternational Symposium of Formal Methods Europe Marie-Claude Gaudel; Jim WoodcockSpringer Berlin Heidelberg 1996Acesso online |
| 9 |
Material Type: Livro
|
|
FME '97: Industrial Applications and Strengthened Foundations of Formal MethodsInternational Symposium of Formal Methods Europe John Fitzgerald; Cliff B Jones; Peter LucasSpringer Berlin Heidelberg 1997Acesso online |
| 10 |
Material Type: Livro
|
|
FME '94: Industrial Benefit of Formal MethodsInternational Symposium of Formal Methods Europe Miquel Bertran; Tim Denvir; Maurice NaftalinSpringer Berlin Heidelberg 1994Acesso online |
Resultados de 1 a 10 de 11 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Computer Software (5)
- Especificação De Sistemas E Programas (Congressos) (5)
- Engenharia De Programas (4)
- System Design (3)
- Engenharia De Software (3)
- Formal Methods (Computer Science) (3)
- Desenvolvimento De Software (1)
- Fault-Tolerant Computing (1)
- Ciência Da Computação (Congressos) (1)
- Logiciels (1)
- Linguagem De Programação (1)
- Especificação De Sistemas E Programas (1)
- Softwares (Gerenciamento) (1)
- Electronic Digital Computers (1)
- Méthodes Formelles (Informatique) (1)
- Systèmes, Conception De (1)
-
Mais opções
Autor/Criador
- Fitzgerald, J (3)
- Jones, C (3)
- Woodcock, J (2)
- Bertran, M (2)
- Lucas, P (2)
- Naftalin, M (2)
- Denvir, T (2)
- Araki, K (1)
- Oliveira, J (1)
- Gnesi, S (1)
- Mandrioli, D (1)
- Hayes, I (1)
- Lindsay, P (1)
- Eriksson, L (1)
- Tarlecki, A (1)
- Zave, P (1)
- Troubitsyna, E (1)
- Romanovsky, A (1)
- Gaudel, M (1)
-
Mais opções
Data de Publicação
- Antes de1994 (1)
- 1994Até1995 (2)
- 1996Até1996 (1)
- 1997Até2001 (3)
- Após 2001 (4)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 