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
Refinado por: autor: ETAPS 2005 remover assunto: Técnicas De Programação (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Foundations of software science and computation structures 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings
Foundations of software science and computation structures 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software science and computation structures 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings

FOSSACS 2005 (8th 2005 Edinburgh, Scotland) Vladimiro Sassone; ETAPS 2005 (2005 Edinburgh, Scotland)

Berlin Springer New York c2005

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

2
Software composition 4th international workshop, SC 2005, Edinburgh, UK, April 9, 2005 revised selected papers
Software composition 4th international workshop, SC 2005, Edinburgh, UK, April 9, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Software composition 4th international workshop, SC 2005, Edinburgh, UK, April 9, 2005 revised selected papers

SC 2005 (4th 2005 Edinburgh, Scotland) Thomas Gschwind; Uwe Assmann 1963; Oscar Marius Nierstrasz 1957; ETAPS 2005 (2005 Edinburgh, Scotland)

Berlin Springer New York c2005

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

3
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings

TACAS 2005 (2005 Edinburgh, Scotland) Nicolas Halbwachs; Lenore D Zuck 1958; ETAPS 2005 (2005 Edinburgh, Scotland)

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.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. ETAPS 2005
  2. Assmann, U
  3. SC 2005
  4. TACAS 2005
  5. Zuck, L

Neste Assunto:

  1. Computer Software
  2. Model Checking
  3. Softwarespezifikation
  4. Software Engineering
  5. Systementwicklung

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

Buscando em bases de dados remotas. Favor aguardar.