skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Logiciels remover Engenharia De Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

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

2
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

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

3
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio Corradini

Berlin Springer New York c2004

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

4
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 (3)

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

Buscando em bases de dados remotas. Favor aguardar.