skip to main content

Sair
Identificação

Idioma:

Computer-aided verification proceedings

DIMACS Workshop on Computer-Aided Verification (2nd 1990 Center for Discrete Mathematics and Theoretical Computer Science) E. M Clarke 1945-; R. P Kurshan 1943-

Berlin New York Springer-Verlag c1991

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.531 e.1 ) e outros locais(Acessar)

Enviar para

Título:
Computer-aided verification proceedings
Autor: DIMACS Workshop on Computer-Aided Verification (2nd 1990 Center for Discrete Mathematics and Theoretical Computer Science)
E. M Clarke 1945-; R. P Kurshan 1943-
Assuntos: Digital integrated circuits -- Design and construction -- Data processing -- Congresses; Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses; ENGENHARIA DE SOFTWARE; TEORIA DA COMPUTAÇÃO
Notas: Includes bibliographical references
Títulos relacionados: Série:Lecture notes in computer science 531
Editor: Berlin New York Springer-Verlag
Data de criação/publicação: c1991
Formato: xiii, 372 p. ill. 24 cm.
Idioma: Inglês

Links

Este item no Dedalus

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento