skip to main content
Visitante
Meu Espaço
Minha Conta
Sair
Identificação
This feature requires javascript
Tags
Revistas Eletrônicas (eJournals)
Livros Eletrônicos (eBooks)
Bases de Dados
Bibliotecas USP
Ajuda
Ajuda
Idioma:
Inglês
Espanhol
Português
This feature required javascript
This feature requires javascript
Primo Search
Busca Geral
Busca Geral
Acervo Físico
Acervo Físico
Produção Intelectual da USP
Produção USP
Search For:
Clear Search Box
Search in:
Busca Geral
Or hit Enter to replace search target
Or select another collection:
Search in:
Busca Geral
Busca Avançada
Busca por Índices
This feature requires javascript
1
Resultados para
Busca Geral
Ordenado por:
Ordenado por:
Relevância
Or hit Enter to replace sort method
Relevância
Data mais recente
Data mais antiga
Mais acessados
Autor
Título
This feature requires javascript
Refinado por:
assunto:
Projeto De Software
assunto:
Técnicas De Programação
This feature requires javascript
This feature requires javascript
Result Number
Material Type
Add to My Shelf Action
Record Details and Options
1
This feature requires javascript
Material Type:
Livro
Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
AMAST 2002 (2002 Saint-Gilles-les-Bains, Réunion) H Kirchner (Hélène); Christophe Ringeissen 1967-
Berlin Springer London c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2422 )
(Acessar)
This feature requires javascript
Localização & Reservas
Detalhes
Resenhas & Tags
Solicitações
Mais Opções
Prateleira Virtual
This feature requires javascript
This feature requires javascript
1
Resultados para
Busca Geral
Ordenado por:
Ordenado por:
Relevância
Or hit Enter to replace sort method
Relevância
Data mais recente
Data mais antiga
Mais acessados
Autor
Título
Personalize Seus Resultados
Editar
RSS
Enviar página para o Meu Espaço
Refine Search Results
Expandir Meus Resultados
Expandir meus resultados
Novas Pesquisas Sugeridas
Ignorar minha busca e procurar por tudo
Deste
Autor
:
Ringeissen, C
Kirchner, H
AMAST 2002
Neste
Assunto
:
Técnicas De Programação
Projeto De Software
Software Engineering
Especificação De Sistemas E Programas
Abstract Data Types (Computer Science)
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento
This feature requires javascript
This feature requires javascript