skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Denvir, T remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FME '94: Industrial Benefit of Formal Methods
FME '94: Industrial Benefit of Formal Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '94: Industrial Benefit of Formal Methods

International Symposium of Formal Methods Europe Miquel Bertran; Tim Denvir; Maurice Naftalin

Springer Berlin Heidelberg 1994

Acesso online

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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)
  2. Disponível na Biblioteca (1)

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.