skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Engenharia De Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings

EPEW (2005 Versailles, France) Mario Bravetti; Le ila Kloul; Gianluigi Zavattaro; International Workshop on Web Services and Formal Methods (2005 Versailles, France)

Berlin Springer New York c2005

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

2
Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings
Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings

EPEW 2006 (3rd 2006 Budapest, Hungary) Andr as Horv ath 1974; Mikl os Telek

Berlin Springer New York c2006

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

3
Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop EPEW 2007, Berlin, Germany, September, 2007 : proceedings
Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop EPEW 2007, Berlin, Germany, September, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop EPEW 2007, Berlin, Germany, September, 2007 : proceedings

EPEW 2007 (2007 Berlin, Germany) Katinka Wolter

Berlin Springer New York c2007

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

4
Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton Ontario, Canada, August 26-27, 2006 : revised selected papers
Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton Ontario, Canada, August 26-27, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton Ontario, Canada, August 26-27, 2006 : revised selected papers

FAST 2006 (2006 Hamilton, Ont.) Theo Dimitrakos; Fabio Martinelli 1969; Peter Y. A Ryan; Steve Schneider

Berlin Springer New York c2006

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

5
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

FATES 2003 (2003 Montr eal, Qu ebec) Alexandre Petrenko; Andreas Ulrich Dr. Ing; IEEE International Automated Software Engineering Conference (18th 2003 Montr eal, Qu ebec)

Berlin Springer New York c2004

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

6
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.

7
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)

8
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers

FATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-

Berlin Springer 2006

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

9
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures

FMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer-Verlag New York c2004

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

10
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures

FMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2005

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 (13)

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

Buscando em bases de dados remotas. Favor aguardar.