skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: International Symposium of Formal Methods Europe remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings

International 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 c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1313 ) e outros locais(Acessar)

2
FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

International Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain) Maurice Naftalin 1951-; Tim Denvir 1939-; Miquel Bertran

Berlin New York Springer-Verlag c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.873 e.1 ) e outros locais(Acessar)

3
FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings

International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark) Jim Woodcock; P. G Larsen 1964- (Peter Gorm)

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.670 e.1 ) e outros locais(Acessar)

4
Rigorous development of complex fault-tolerant systems
Rigorous development of complex fault-tolerant systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Rigorous development of complex fault-tolerant systems

Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 Newcastle upon Tyne, England) Michael Butler 1967; Cliff Jones; Alexander Romanovsky; Elena Troubitsyna; International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England)

Berlin Springer New York c2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4157 )(Acessar)

5
FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

International Symposium of Formal Methods Europe (12th 2003 Pisa, Italy) Keijiråo Araki 1954-; Stefania Gnesi 1954-; Dino Mandrioli

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2805 )(Acessar)

6
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings

International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England) John Fitzgerald 1965-; Ian Hayes; Andrzej Tarlecki

Berlin Springer New York 2005

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.