skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 2004 Kurt Jensen; Andreas Podelski

Springer Berlin Heidelberg 2004

Acesso online

2
Tools and algorithms for the construction and analysis of systems 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29-April 2, 2004 : proceedings
Tools and algorithms for the construction and analysis of systems 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29-April 2, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29-April 2, 2004 : proceedings

TACAS 2004 (2004 Barcelona, Spain) K Jensen (Kurt) 1950; Andreas Podelski

Berlin Springer New York c2004

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

3
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Jensen, Kurt ; Podelski, Andreas Podelski, Andreas ; Jensen, Kurt

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Jensen, K
  2. TACAS 2004
  3. Podelski, A

Neste Assunto:

  1. Computer Software
  2. Computer Science
  3. Desarrollo
  4. Congresses
  5. Computer Software Development

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

Buscando em bases de dados remotas. Favor aguardar.