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 Advanced Search
Busca Geral
Busca Geral
Acervo Físico
Acervo Físico
Produção Intelectual da USP
Produção USP
Primo Advanced Search Query Term
Show Results with:
criteria input
Qualquer
Título
Autor
Assunto
Data de publicação
Local de publicação
Editora
Coleção especial
Biblioteca
Orientador
Show Results with:
Título
Show Results with:
Qualquer
Título
Autor
Assunto
Data de publicação
Local de publicação
Editora
Coleção especial
Biblioteca
Orientador
Show Results with:
criteria input
contém
é (exato)
começa com
Input search text:
Show Results with:
criteria input
E
OU
NÃO
Primo Advanced Search Query Term
Show Results with:
criteria input
Qualquer
Título
Autor
Assunto
Data de publicação
Local de publicação
Editora
Coleção especial
Biblioteca
Orientador
Show Results with:
Título
Show Results with:
Qualquer
Título
Autor
Assunto
Data de publicação
Local de publicação
Editora
Coleção especial
Biblioteca
Orientador
Show Results with:
criteria input
contém
é (exato)
começa com
Input search text:
Show Results with:
criteria input
E
OU
NÃO
Primo Advanced Search Query Term
Show Results with:
criteria input
Qualquer
Título
Autor
Assunto
Data de publicação
Local de publicação
Editora
Coleção especial
Biblioteca
Orientador
Show Results with:
Título
Show Results with:
Qualquer
Título
Autor
Assunto
Data de publicação
Local de publicação
Editora
Coleção especial
Biblioteca
Orientador
Show Results with:
criteria input
contém
é (exato)
começa com
Input search text:
Show Results with:
criteria input
E
OU
NÃO
Primo Advanced Search prefilters
Tipo de material:
criteria input
Todos os itens
Artigos
Audiovisual
Imagens
Livros
Patentes
Produções acadêmicas
Produções técnicas
Revistas
Idioma:
criteria input
Qualquer idioma
Espanhol
Inglês
Português
Data de publicação:
criteria input
Qualquer ano
Último ano
Últimos 2 anos
Últimos 5 anos
Últimos 10 anos
Últimos 20 anos
Data inicial:
criteria input
Dia
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
criteria input
Mês
01
02
03
04
05
06
07
08
09
10
11
12
query input
Data final:
criteria input
Dia
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
criteria input
Mês
01
02
03
04
05
06
07
08
09
10
11
12
query input
Busca Geral
Busca Simples
1
Resultados para
Busca Geral
Ordenado por:
Ordenado por:
Autor
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:
autor:
Grabowski, J
assunto:
Software
IME - Inst. Matemática e Estatística
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
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.
Exibir Online
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:
Autor
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
:
Grabowski, J
FATES 2004
Nielsen, B
Neste
Assunto
:
Model Checking
Especificação De Sistemas E Programas (Congressos)
Engenharia De Programas
Redes E Comunicação De Dados (Congressos)
Testen
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
Página Inicial
RSS
Feed
Políticas
Fale Conosco
Logos de Redes Sociais: 
Logos de Redes Sociais: