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
This feature requires javascript
Data refinement model-oriented proof methods and their comparison
W.-P. de Roever Kai Engelhardt 1966-; K.-H Buth
Cambridge, UK Cambridge University Press New York, NY 1998
Item não circula. Consulte sua biblioteca.
(Acessar)
Detalhes
Resenhas & Tags
Solicitações
Mais Opções
This feature requires javascript
Enviar para
Adicionar ao Meu Espaço
Remover do Meu Espaço
E-mail (máximo 30 registros por vez)
Imprimir
Link permanente
Referência
EasyBib
EndNote
RefWorks
del.icio.us
Exportar RIS
Exportar BibTeX
This feature requires javascript
Título:
Data refinement model-oriented proof methods and their comparison
Autor:
W.-P. de Roever
Kai Engelhardt 1966-
;
K.-H Buth
Assuntos:
Computer simulation
;
Data structures (Computer science)
;
Computer programs -- Verification
;
ENGENHARIA DE SOFTWARE
Notas:
Includes bibliographical references (p. 404-418) and index
Títulos relacionados:
Série:Cambridge tracts in theoretical computer science 47
Editor:
Cambridge, UK Cambridge University Press New York, NY
Data de criação/publicação:
1998
Formato:
xi, 423 p. ill. 24 cm.
Idioma:
Inglês
Links
Este item no Dedalus
This feature requires javascript
This feature requires javascript
Voltar para lista de resultados
Anterior
Resultado
2
Avançar
This feature requires javascript
This feature requires javascript
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