skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

International SPIN Workshop (11th 2004 Barcelona, Spain) Susanne Graf; Laurent Mounier

Berlin Springer New York c2004

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

2
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26 2006 : proceedings
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26 2006 : proceedings

ATVA 2006 (4th 2006 Beijing, China) Susanne Graf; Wenhui Zhang 1963

Berlin Springer New York c2006

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

3
Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

TACAS 2000 (6th 2000 Berlin, Germany) Susanne Graf; Michael I Schwartzbach; ETAPS 2000 (2000 Berlin, Germany)

Berlin Springer New York c2000

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

4
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems

TACAS 2000 Susanne Graf; Michael I Schwartzbach; Michael Schwartzbach

Springer Berlin Heidelberg 2000

Acesso online

5
Model Checking Software
Model Checking Software
Material Type:
Livro 		Adicionar ao Meu Espaço

Model Checking Software

International SPIN Workshop Susanne Graf; Laurent Mounier

Springer Berlin / Heidelberg 2004

Acesso online

6
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods for Components and Objects

FMCO 2003 Marcello M Bonsangue; Willem-Paul de Roever; Susanne Graf

Springer Berlin / Heidelberg 2004

Acesso online

7
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods for Components and Objects

FMCO 2002 Frank S. de Boer; Marcello Bonsangue; Willem-Paul de Roever; Susanne Graf

Springer Berlin Heidelberg 2003

Acesso online

8
Tools and algorithms for the construction and analysis of systems
Tools and algorithms for the construction and analysis of systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems

International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 6, TACAS 2000 2000 Berlin Susanne Graf; Michael Schwartzbach; European Joint Conferences on Theory and Practiceof Software, ETAPS 2000

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c2000

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1785 )(Acessar)

9
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures

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

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4709 ) 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.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (248)
  2. Anais de Congresso  (53)
  3. Livros  (47)
  4. Book Chapters  (44)
  5. Reports  (5)
  6. Dissertações  (5)
  7. magazinearticle  (3)
  8. Conjunto de Dados  (2)
  9. Web Resources  (1)
  10. Resenhas  (1)
  11. Verbetes  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (14)
  2. 1992Até1999  (24)
  3. 2000Até2007  (113)
  4. 2008Até2016  (127)
  5. Após 2016  (118)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (350)
  2. Alemão  (58)
  3. Japonês  (25)
  4. Francês  (5)
  5. Sueco  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Graf, S
  2. Bonsangue, M
  3. Boer, F
  4. Roever, W
  5. Schwartzbach, M

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Computer Science
  5. Male

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

Buscando em bases de dados remotas. Favor aguardar.