skip to main content
Refinado por: autor: Romijn, J remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Integrated formal methods 5th international conference, IFM 2005, Eindhoven, the Netherlands November 29--December 2, 2005 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Integrated formal methods 5th international conference, IFM 2005, Eindhoven, the Netherlands November 29--December 2, 2005 : proceedings

International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands) Judi Romijn; Graeme Smith 1966; Jaco van de Pol; SpringerLink (Online service)

Berlin Springer c2005

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.